Metody analýzy objektově orientovaných Petriho sítí : zkrácená verze Ph.D. thesis
Autor Křena, Bohuslav, 1977- Vydáno: 2004
Kniha
Analysis and testing of concurrent programs : monograph
Autor Křena, Bohuslav, 1977- Vydáno: 2012
Kniha