Partial Order Reductions for Timed Systems

Johan Bengtsson, Bengt Jonsson, Johan Lilius, Yi Wang

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationCONCUR'98 Concurrency Theory - 9th International Conference Nice, France, September 8–11, 1998 Proceedings
    RedaktörerDavide Sangiorgi, Robert de Simone
    Sidor485–500
    ISBN (elektroniskt)978-3-540-68455-8
    DOI
    StatusPublicerad - 1998
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 1998-09-08; 1998-09-11 - 9th International Conference CONCUR'98 Concurrency Theory
    Varaktighet: 8 sep 199811 sep 1998

    Konferens

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

    Citera det här