Verification of timed Chi models using Uppaal

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of the 2nd International Conference on Informatics in Control, Robotics and Automation
Place of Publication	Spain, Barcelona
Pages	486-492
Publication status	Published - 2005

Cite this

@inproceedings{231eab76cf7c452381099755b949e88d,

title = "Verification of timed Chi models using Uppaal",

author = "E. Bortnik and \{Beek, van\}, D.A. and \{Mortel - Fronczak, van de\}, J.M. and J.E. Rooda",

year = "2005",

language = "English",

pages = "486--492",

booktitle = "Proceedings of the 2nd International Conference on Informatics in Control, Robotics and Automation",

}

Verification of timed Chi models using Uppaal. / Bortnik, E.; Beek, van, D.A.; Mortel - Fronczak, van de, J.M. et al.
Proceedings of the 2nd International Conference on Informatics in Control, Robotics and Automation. Spain, Barcelona, 2005. p. 486-492.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review