![]() | ![]() |
2007 | ||
---|---|---|
1 | EE | Valery A. Nepomniaschy, Gennady I. Alekseev, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina, Sergey P. Mylnikov, Ruslan M. Novikov: Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols. CSR 2007: 303-314 |
1 | Gennady I. Alekseev | [1] |
2 | Victor S. Argirov | [1] |
3 | Dmitri M. Beloglazov | [1] |
4 | Alexandre V. Bystrov | [1] |
5 | Tatiana G. Churina | [1] |
6 | Sergey P. Mylnikov | [1] |
7 | Valery A. Nepomniaschy (V. A. Nepomniaschy) | [1] |
8 | Ruslan M. Novikov | [1] |