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
Češka Milan, Prof. RNDr., CSc. (UIVT FEI VUT)
Janoušek Vladimír, Ing., Ph.D. (UIVT FEI VUT)
Vojnar Tomáš, Ing., Ph.D. (UIVT FEI VUT)
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