Detail publikace

Generating and Exploiting State Spaces of Object-Oriented Petri Nets

ČEŠKA Milan, JANOUŠEK Vladimír a VOJNAR Tomáš. Generating and Exploiting State Spaces of Object-Oriented Petri Nets. In: Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000. Aarhus: neznámá, 2000, s. 35-54. ISSN 0105-8517.
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
2000
Strany
35-54
Sborník
Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000
Ročník
0
Vydavatel
neznámá
Místo
Aarhus, DK
BibTeX 
@INPROCEEDINGS{FITPUB6568,
   author = "Milan \v{C}e\v{s}ka and Vladim\'{i}r Janou\v{s}ek and Tom\'{a}\v{s} Vojnar",
   title = "Generating and Exploiting State Spaces of Object-Oriented Petri Nets",
   pages = "35--54",
   booktitle = "Proceedings of Workshop on Software Engineering and Petri Nets, 21st International Conference on Application and Theory of Petri Nets 2000",
   number = "DAIMI PB",
   year = 2000,
   location = "Aarhus, DK",
   ISSN = "0105-8517",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6568"
}
Nahoru