Milan Ceska, Vladimír Janousek, Tomás Vojnar. Towards Verifying Distributed Systems Using Object-Oriented Petri Nets. In Franz Pichler, Roberto Moreno-Díaz, Peter Kopacek, editors, Computer Aided Systems Theory - EUROCAST 99, Vienna, Austria, September 29 - October 2, 1999, Proceedings. Volume 1798 of Lecture Notes in Computer Science, pages 90-104, Springer, 1999.
Abstract is missing.