Adapting the UPPAAL Model of a Distributed Lift System

W.J. Fokkink; A. Kakebeen; J. Pang

Adapting the UPPAAL Model of a Distributed Lift System

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

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	81-97
Journal	Lecture Notes in Computer Science
Volume	4767
Publication status	Published - 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

@article{59728b6bfb84453d87cb9fef9c735ee9,

title = "Adapting the UPPAAL Model of a Distributed Lift System",

author = "W.J. Fokkink and A. Kakebeen and J. Pang",

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",

year = "2007",

language = "English",

volume = "4767",

pages = "81--97",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

}

TY - JOUR

T1 - Adapting the UPPAAL Model of a Distributed Lift System

AU - Fokkink, W.J.

AU - Kakebeen, A.

AU - Pang, J.

N1 - 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

PY - 2007

Y1 - 2007

M3 - Article

VL - 4767

SP - 81

EP - 97

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -