%0 Conference Paper %1 conf/pact/BystrovV99 %A Bystrov, Alexandre V. %A Verbistskaite, I. B. %B PaCT %D 1999 %E Malyshkin, Victor E. %I Springer %K dblp %P 194-199 %T Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool. %U http://dblp.uni-trier.de/db/conf/pact/pact1999.html#BystrovV99 %V 1662 %@ 3-540-66363-0

@inproceedings{conf/pact/BystrovV99, added-at = {2023-09-30T00:00:00.000+0200}, author = {Bystrov, Alexandre V. and Verbistskaite, I. B.}, biburl = {https://www.bibsonomy.org/bibtex/237c7dd6cc0e163ae9a54a0f5b3378314/dblp}, booktitle = {PaCT}, crossref = {conf/pact/1999}, editor = {Malyshkin, Victor E.}, ee = {https://doi.org/10.1007/3-540-48387-X_20}, interhash = {5cfb9d9af8221e085d9da23cd7e0b1f4}, intrahash = {37c7dd6cc0e163ae9a54a0f5b3378314}, isbn = {3-540-66363-0}, keywords = {dblp}, pages = {194-199}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T18:43:46.000+0200}, title = {Implementing Model Checking and Equivalence Checking for Time Petri Nets by the RT-MEC Tool.}, url = {http://dblp.uni-trier.de/db/conf/pact/pact1999.html#BystrovV99}, volume = 1662, year = 1999 }