Cut-offs and automata in formal verification of infinite-state systems
habilitation thesis
Vojnar Tomášdalší primární původceAutoritní záznam NK ČRVysoké učení technické v Brně. Fakulta informačních technologiídalší primární původceAutoritní záznam NK ČR
Věcné třídění
Bibliografické údaje
- Nakladatel
- Vysoké učení technické v Brně
- Vydáno
- 2007
- Jazyk
- Angličtina
Vydání
- Tištěná knihaBrožovaná vazba
978-80-214-3547-6 (brož.)
Vydáno: