Synchronizing clocked transition systems

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

    Original languageUndefined
    Title of host publicationProceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
    Place of PublicationLyngby, Denmark
    Pages173-185
    Publication statusPublished - 19 Jan 1998

    Keywords

    • METIS-119200

    Cite this

    Poel, M., & Zwiers, J. (1998). Synchronizing clocked transition systems. In Proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (pp. 173-185). Lyngby, Denmark.