SDL Modelling with High Level Petri Nets, SDL

N. Husberg

    Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceedings › Scientific › peer-review

    Original languageEnglish
    Title of host publicationWorkshop on Concurrency, Specification & Programming
    Pages85-96
    Publication statusPublished - 1996
    MoE publication typeA4 Conference publication

    Keywords

    • Petri Nets

    Cite this