Partial Order Reductions for Timed Systems

Johan Bengtsson, Bengt Jonsson, Johan Lilius, Yi Wang

    Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

    98 Citations (Scopus)
    Original languageUndefined/Unknown
    Title of host publicationCONCUR'98 Concurrency Theory - 9th International Conference Nice, France, September 8–11, 1998 Proceedings
    EditorsDavide Sangiorgi, Robert de Simone
    Pages485–500
    ISBN (Electronic)978-3-540-68455-8
    DOIs
    Publication statusPublished - 1998
    MoE publication typeA4 Article in a conference publication
    Eventconference; 1998-09-08; 1998-09-11 - 9th International Conference CONCUR'98 Concurrency Theory
    Duration: 8 Sep 199811 Sep 1998

    Conference

    Conferenceconference; 1998-09-08; 1998-09-11
    Period08/09/9811/09/98

    Cite this