NepomniaschyABCMO95'

BibTeX

@inproceedings{DBLP:conf/pact/NepomniaschyABCMO95,
  author    = {V. A. Nepomniaschy and
               Gennady I. Alekseev and
               Alexandre V. Bystrov and
               Tatiana G. Churina and
               Sergey P. Mylnikov and
               E. V. Okunishnikova},
  title     = {Petri Net Modelling of Estelle-specified Communication Protocols},
  booktitle = {PaCT},
  year      = {1995},
  pages     = {94-108},
  crossref  = {DBLP:conf/pact/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pact/1995,
  editor    = {Victor E. Malyshkin},
  title     = {Parallel Computing Technologies, 3rd International Conference,
               PaCT-95, St. Petersburg, Russia, September 12-25, 1995,
               Proceedings},
  booktitle = {PaCT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {964},
  year      = {1995},
  isbn      = {3-540-60222-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}