×
2007
Adapting the UPPAAL Model of a Distributed Lift System.
[DOI]
Wan J. Fokkink
,
Allard Kakebeen
,
Jun Pang
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007