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
- Místo vydání
- Brno
- Vydání
- Vyd. 1.
- Jazyk
- Angličtina
- Ilustrace
- il.
Vydání
- Tištěná knihaBrožovaná vazba
978-80-214-3547-6 (brož.)
Vydáno:
- Typ obsahu
- Text
- Rozsah
- 177 Strany
- Skladba produktu
- Jednosložkový maloobchodní produkt
- Stav vydání
- Neurčeno
Obsahy
Doporučení
Obsahuje bibliografické odkazy
Významná vlastnost
V publikaci uvedeno: Brno : Faculty of Information Technology, Brno University of Technology