%0 Conference Paper %1 conf/pact/NepomniaschyABCMO95 %A Nepomniaschy, Valery A. %A Alekseev, Gennady I. %A Bystrov, Alexandre V. %A Churina, Tatiana G. %A Mylnikov, Sergey P. %A Okunishnikova, E. V. %B PaCT %D 1995 %E Malyshkin, Victor E. %I Springer %K dblp %P 94-108 %T Petri Net Modelling of Estelle-specified Communication Protocols. %U http://dblp.uni-trier.de/db/conf/pact/pact1995.html#NepomniaschyABCMO95 %V 964 %@ 3-540-60222-4

@inproceedings{conf/pact/NepomniaschyABCMO95, added-at = {2019-12-16T00:00:00.000+0100}, author = {Nepomniaschy, Valery A. and Alekseev, Gennady I. and Bystrov, Alexandre V. and Churina, Tatiana G. and Mylnikov, Sergey P. and Okunishnikova, E. V.}, biburl = {https://www.bibsonomy.org/bibtex/232f66c515113269f8836d41e29bf1615/dblp}, booktitle = {PaCT}, crossref = {conf/pact/1995}, editor = {Malyshkin, Victor E.}, ee = {https://doi.org/10.1007/3-540-60222-4_100}, interhash = {83eafdb3e667517c16b25a42dc362c75}, intrahash = {32f66c515113269f8836d41e29bf1615}, isbn = {3-540-60222-4}, keywords = {dblp}, pages = {94-108}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-12-17T11:42:44.000+0100}, title = {Petri Net Modelling of Estelle-specified Communication Protocols.}, url = {http://dblp.uni-trier.de/db/conf/pact/pact1995.html#NepomniaschyABCMO95}, volume = 964, year = 1995 }