Křena Bohuslav

Tituly autora (2)

• Analysis and testing of concurrent programs

  monograph

  Tištěná kniha

  Křena Bohuslav, Letko Zdeněk, Vojnar Tomáš

  Vysoké učení technické v Brně

  2012

  978-80-214-4464-5 (brož.)

• Metody analýzy objektově orientovaných Petriho sítí

  Analysis methods of object oriented Petri nets

  Tištěná kniha

  Křena Bohuslav, Vysoké učení technické v Brně. Ústav inteligentních systémů

  Vysoké učení technické v Brně

  2004

  978-80-214-2797-6 (brož.)