| |
| 2001 | ||
|---|---|---|
| 1 | EE | V. A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Sergey P. Mylnikov, E. V. Okunishnikova, P. A. Chubarev, Tatiana G. Churina: Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets. Programming and Computer Software 27(2): 58-68 (2001) |
| 1 | Gennady I. Alekseev | [1] |
| 2 | Alexandre V. Bystrov | [1] |
| 3 | Tatiana G. Churina | [1] |
| 4 | Sergey P. Mylnikov | [1] |
| 5 | Valery A. Nepomniaschy (V. A. Nepomniaschy) | [1] |
| 6 | E. V. Okunishnikova | [1] |