Přístupnostní navigace
E-application
Search Search Close
prof. RNDr.
CSc.
FIT – Significant Former Employee
Send BUT message
2015
NOVOSAD, P.; ČEŠKA, M. Hybrid Petri Nets State Space Representation Using Coverability Graphs and Unfoldings. Brno: Faculty of Information Technology BUT, 2015. 32 p.
1992
RÁBOVÁ, Z.; ZENDULKA, J.; ČEŠKA, M.; PERINGER, P.; JANOUŠEK, V. Modelování a simulace. Brno: Vysoké učení technické v Brně, 1992. 226 s. ISBN: 80-214-0480-9.
*) Citations are generated once every 24 hours.