Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol

N. Husberg, Teemu Tynjälä, K. Varpaaniemi

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

    1 Citation (Scopus)
    Original languageEnglish
    Title of host publicationThe 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, Aarhus, Denmark, June 2000
    EditorsM. Nielsen, D. Simpson
    Place of PublicationBerlin, Germany
    Publication statusPublished - 2000
    MoE publication typeA4 Article in a conference publication


    • DSS1
    • high-level Petri nets
    • ISDN
    • protocol verification
    • reachability analysis
    • SDL

    Cite this