![](/img/cover-not-exists.png)
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
V. A. Nepomniaschy, V. S. Argirov, D. M. Beloglazov, A. V. Bystrov, E. A. Chetvertakov, T. G. ChurinaVolume:
34
Language:
english
Pages:
11
DOI:
10.1134/s0361768808060042
Date:
November, 2008
File:
PDF, 213 KB
english, 2008