Skip to content

Dmitri M. Beloglazov

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

1

Active years

2007–2008

Best venue rank

National

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2008CSRUsing Coloured Petri Nets to Model and Verify Telecommunications Systems.Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov
2007CSRApplication of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols.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