Adapting the UPPAAL Model of a Distributed Lift System

W.J. Fokkink, A. Kakebeen, J. Pang

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)81-97
JournalLecture Notes in Computer Science
Volume4767
Publication statusPublished - 2007

Bibliographical note

DBLP:conf/fsen/FokkinkKP07
Proceedings title: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings
Publisher: Springer
Editors: M. Arbab

Cite this