Verifying SDL Programs Using Petri Nets

N. Husberg

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

    Original languageEnglish
    Title of host publication1998 IEEE international Conference on Systems, Man and Cybernetics, San Diego, USA, October 11.-14. 1998
    Publication statusPublished - 1998
    MoE publication typeA4 Article in a conference publication


    • petri nets
    • SDL programs
    • verification

    Cite this