Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}