English 
Čeština 
Cut-offs and automata in formal verification of infinite-state systems : habilitation thesis /
| Main Author: | Vojnar, Tomáš, 1973- |
|---|---|
| Corporate Author: | Vysoké učení technické v Brně. Fakulta informačních technologií |
| Language: | English |
| Published: |
Brno : Faculty of Information Technology, Brno University of Technology, 2007 |
| Edition: | Vyd. 1. |
| Subjects: | |
| Physical Description: |
ix, 177 s. : il. ; 25 cm |
|
Book
Z důvodu uzavření knihovny je až do odvolání zablokována možnost zadávání požadavků na výpůjčky. Děkujeme za pochopení.
| item status | due date | sublibrary | collection | location / second signature | description | note | Stock location mark |
|---|---|---|---|---|---|---|---|
|
Reference only
|
On Shelf |
|
Stock / within 1 hour
|
3-1198.318 | |||
|
Month
|
On Shelf |
|
Stock / within 1 hour
|
3-1198.318 |