%0 Conference Paper %1 conf/eurocast/CeskaJV99 %A Ceska, Milan %A Janousek, Vladimír %A Vojnar, Tomás %B EUROCAST %D 1999 %E Pichler, Franz %E Moreno-Díaz, Roberto %E Kopacek, Peter %I Springer %K dblp %P 90-104 %T Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. %U http://dblp.uni-trier.de/db/conf/eurocast/eurocast1999.html#CeskaJV99 %V 1798 %@ 3-540-67822-0

@inproceedings{conf/eurocast/CeskaJV99, added-at = {2021-10-14T00:00:00.000+0200}, author = {Ceska, Milan and Janousek, Vladimír and Vojnar, Tomás}, biburl = {https://www.bibsonomy.org/bibtex/26d243bc7ce2d476ff962e45ff61615be/dblp}, booktitle = {EUROCAST}, crossref = {conf/eurocast/1999}, editor = {Pichler, Franz and Moreno-Díaz, Roberto and Kopacek, Peter}, ee = {https://doi.org/10.1007/10720123_9}, interhash = {307c7ca6daf4c80b26884c8971d19895}, intrahash = {6d243bc7ce2d476ff962e45ff61615be}, isbn = {3-540-67822-0}, keywords = {dblp}, pages = {90-104}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:32:35.000+0200}, title = {Towards Verifying Distributed Systems Using Object-Oriented Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/eurocast/eurocast1999.html#CeskaJV99}, volume = 1798, year = 1999 }