Conference paper

ČEŠKA Milan, JANOUŠEK Vladimír and VOJNAR Tomáš. Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets. In: Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99. Vienna: unknown, 1999, pp. 229-232.
Publication language:english
Original title:Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets
Pages:229-232
Proceedings:Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99
Place:Vienna, AT
Year:1999
Keywords
Petri nets, object-orientation, formal analysis and verification
BibTeX:
@INPROCEEDINGS{
   author = {Milan {\v{C}}e{\v{s}}ka and Vladim{\'{i}}r Janou{\v{s}}ek
	and Tom{\'{a}}{\v{s}} Vojnar},
   title = {Towards Verifying Complex Distributed Systems Using
	Object-Oriented
 Petri Nets},
   pages = {229--232},
   booktitle = {Proceedings of the 7th International Conference on Computer
	Aided Systems Theory and Technology -- EUROCAST'99},
   year = {1999},
   location = {Vienna, AT},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=6565}
}

Your IPv4 address: 54.226.172.30
Switch to IPv6 connection

DNSSEC [dnssec]