- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| j3 |      | V. A. Nepomniaschy, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina: Modeling and verification of the SDL-specified communication protocols using high-level Petri nets. Programming and Computer Software 34(6): 330-340 (2008) |
| c3 | | Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov: Using Coloured Petri Nets to Model and Verify Telecommunications Systems. CSR 2008: 360-371 |
| 2007 | ||
| c2 | | 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 |
| 2001 | ||
| j2 | | 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) |
| j1 | | L. V. Gorodnyaya, D. V. Irtegov, N. N. Nepeivoda, Igor V. Pottosin, Tatiana G. Churina: All-Siberian Open Olympiad in Programming (Novosibirsk State University). Programming and Computer Software 27(3): 165-167 (2001) |
| 1995 | ||
| c1 | | V. A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Tatiana G. Churina, Sergey P. Mylnikov, E. V. Okunishnikova: Petri Net Modelling of Estelle-specified Communication Protocols. PaCT 1995: 94-108 |
Colors in the list of coauthors
Last update Fri May 24 02:29:53 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page