External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets

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.

Authors

Milan Ceska

This author has not been identified. Look up 'Milan Ceska' in Google

Vladimír Janousek

This author has not been identified. Look up 'Vladimír Janousek' in Google

Tomás Vojnar

This author has not been identified. Look up 'Tomás Vojnar' in Google
runs on