Verification of timed Chi models using Uppaal

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 2nd International Conference on Informatics in Control, Robotics and Automation
    Place of PublicationSpain, Barcelona
    Pages486-492
    Publication statusPublished - 2005

    Cite this

    Bortnik, E., Beek, van, D. A., Mortel - Fronczak, van de, J. M., & Rooda, J. E. (2005). Verification of timed Chi models using Uppaal. In Proceedings of the 2nd International Conference on Informatics in Control, Robotics and Automation (pp. 486-492).