Checking time petri nets for linear duration properties

Li Xuandong, Johan Lilius

    Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussaKonferenssiartikkeliTieteellinenvertaisarvioitu

    2 Sitaatiot (Scopus)
    AlkuperäiskieliEi tiedossa
    OtsikkoPetri Nets and Performance Models (PNPM'99)
    KustantajaIEEE Computer Society
    Sivut218–227
    ISBN (painettu)0-7695-0331-4
    DOI - pysyväislinkit
    TilaJulkaistu - 1999
    OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
    Tapahtumaconference; 1999-09-08; 1999-09-10 - The 8th International Workshop on Petri Nets and Performance Models
    Kesto: 8 syysk. 199910 syysk. 1999

    Konferenssi

    Konferenssiconference; 1999-09-08; 1999-09-10
    Ajanjakso08/09/9910/09/99

    Viittausmuodot