Cut-offs and automata in formal verification of infinite-state systems
habilitation thesis
Věcné třídění
Bibliografické údaje
- Nakladatel
- Vysoké učení technické v Brně
- Vydáno
- 2007
- Místo vydání
- Brno
- Pořadí vydání
- 1
- Poznámka k vydání
- Vyd. 1.
- Jazyk
- Angličtina
- Ilustrace
- il.
Vydání
- Formát: Tištěná knihaBrožovaná vazba
ISBN 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