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

Reference:

Nisse Husberg, Teemu Tynjälä, and Kimmo Varpaaniemi. Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol. In 21st International Conference on Applications and Theory of Petri Nets, 2000.

Suggested BibTeX entry:

@inproceedings{icatpn2000,
    author = {Nisse Husberg and Teemu Tynj{\"a}l{\"a} and Kimmo Varpaaniemi},
    booktitle = {21st {I}nternational {C}onference on {A}pplications and {T}heory of {P}etri {N}ets},
    title = {{M}odelling and {A}nalysing the {S}{D}{L} {D}escription of the {I}{S}{D}{N}-{D}{S}{S}1 {P}rotocol},
    year = {2000},
}