Verification of asynchronous and parametrized hardware designs : monograph
Autor Smrčka, Aleš, 1980- Vydáno: 2010
Kniha
Simulations and antichains for efficient handling of finite automata : monograph
Autor Holík, Lukáš Vydáno: 2010
Kniha
Analysis and testing of concurrent programs : monograph
Autor Křena, Bohuslav, 1977- Vydáno: 2012
Kniha