Checking time petri nets for linear duration properties

Li Xuandong, Johan Lilius

    Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

    2 Citeringar (Scopus)
    OriginalspråkOdefinierat/okänt
    Titel på gästpublikationPetri Nets and Performance Models (PNPM'99)
    FörlagIEEE Computer Society
    Sidor218–227
    ISBN (tryckt)0-7695-0331-4
    DOI
    StatusPublicerad - 1999
    MoE-publikationstypA4 Artikel i en konferenspublikation
    Evenemangconference; 1999-09-08; 1999-09-10 - The 8th International Workshop on Petri Nets and Performance Models
    Varaktighet: 8 sep 199910 sep 1999

    Konferens

    Konferensconference; 1999-09-08; 1999-09-10
    Period08/09/9910/09/99

    Citera det här