Sergey P. Mylnikov

Publication Activity (10 Years)

Years Active: 1995-2007
Publications (10 Years): 0

Publications

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)
Valery 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. Program. Comput. Softw. 27 (2) (2001)
Valery 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)