Výsledky vyhledávání
- Analysis and testing of concurrent programs : monograph / Bohuslav Křena, Zdeněk Letko, Tomáš Vojnar . Brno : Faculty of Information Technology, Brno University of Technology, 2012 . 136 s. [1, z toho volných 1]
- Metody analýzy objektově orientovaných Petriho sítí : zkrácená verze Ph.D. Thesis = Analysis methods of object oriented Petri nets / Bohuslav Křena . Brno : Vysoké učení technické v Brně, Fakulta informačních technologií, Ústav inteligentních systémů, c2004 . 23 s. [1, z toho volných 1]