Přístupnostní navigace
E-application
Search Search Close
Detail publikačního výsledku
ČEŠKA, M.; JANOUŠEK, V.; VOJNAR, T.
Original Title
Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets
English Title
Type
Paper in proceedings outside WoS and Scopus
Keywords
Petri nets, object-orientation, formal analysis and verification
Key words in English
Authors
Released
01.01.1999
Publisher
unknown
Location
Vienna
Book
Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99
Pages from
229
Pages to
232
Pages count
4
Full text in the Digital Library
http://hdl.handle.net/
BibTex
@inproceedings{BUT191474, author="Milan {Češka} and Vladimír {Janoušek} and Tomáš {Vojnar}", title="Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets", booktitle="Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99", year="1999", pages="229--232", publisher="unknown", address="Vienna" }