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 |
Verification of timed Chi models using Uppaal
E. Bortnik, D.A. Beek, van, J.M. Mortel - Fronczak, van de, J.E. Rooda
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review