|
Search the dblp DataBase
Gennady I. Alekseev:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] PaCT, 1995, pp:94-108 [Conf]
- 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. [Citation Graph (0, 0)][DBLP] Programming and Computer Software, 2001, v:27, n:2, pp:58-68 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] CSR, 2007, pp:303-314 [Conf]
Search in 0.001secs, Finished in 0.001secs
|