Detail publikace

Towards Verifying Complex Distributed Systems Using Object-Oriented Petri Nets

ČEŠKA Milan, JANOUŠEK Vladimír a 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: neznámá, 1999, s. 229-232.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Rok
1999
Strany
229-232
Sborník
Proceedings of the 7th International Conference on Computer Aided Systems Theory and Technology -- EUROCAST'99
Vydavatel
neznámá
Místo
Vienna, AT
BibTeX
@INPROCEEDINGS{FITPUB6565,
   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 = "https://www.fit.vut.cz/research/publication/6565"
}
Nahoru