SDL Modelling with High Level Petri Nets, SDL

N. Husberg

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

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

    Keywords

    • Petri Nets

    Cite this