%0 Journal Article %1 journals/pcs/NepomniaschyABMOCC01 %A Nepomniaschy, Valery A. %A Alekseev, Gennady I. %A Bystrov, Alexandre V. %A Mylnikov, Sergey P. %A Okunishnikova, E. V. %A Chubarev, P. A. %A Churina, Tatiana G. %D 2001 %J Program. Comput. Softw. %K dblp %N 2 %P 58-68 %T Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets. %U http://dblp.uni-trier.de/db/journals/pcs/pcs27.html#NepomniaschyABMOCC01 %V 27

@article{journals/pcs/NepomniaschyABMOCC01, added-at = {2023-09-30T00:00:00.000+0200}, author = {Nepomniaschy, Valery A. and Alekseev, Gennady I. and Bystrov, Alexandre V. and Mylnikov, Sergey P. and Okunishnikova, E. V. and Chubarev, P. A. and Churina, Tatiana G.}, biburl = {https://www.bibsonomy.org/bibtex/2325f9441d30364fb70300f0652751a02/dblp}, ee = {https://doi.org/10.1023/A:1011094609718}, interhash = {6d298d62e4b5a5c04a9213386f347644}, intrahash = {325f9441d30364fb70300f0652751a02}, journal = {Program. Comput. Softw.}, keywords = {dblp}, number = 2, pages = {58-68}, timestamp = {2024-04-08T20:24:00.000+0200}, title = {Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets.}, url = {http://dblp.uni-trier.de/db/journals/pcs/pcs27.html#NepomniaschyABMOCC01}, volume = 27, year = 2001 }