Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets

✍ Scribed by V. A. Nepomniaschy; G. I. Alekseev; A. V. Bystrov; S. P. Myl'nikov; E. V. Okunishnikova; P. A. Chubarev; T. G. Churina

• Book ID: 110297268
• Publisher: SP MAIK Nauka/Interperiodica
• Year: 2001
• Tongue: English
• Weight: 78 KB
• Volume: 27
• Category: Article
• ISSN: 0361-7688
• DOI: 10.1023/a:1011094609718