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