Simulations and antichains for efficient handling of finite automata : monograph /
| Main Author: | Holík, Lukáš |
|---|---|
| Other Authors: | Vojnar, Tomáš, 1973- |
| Language: | English |
| Published: |
Brno : Faculty of Information Technology, Brno University of Technology, 2010 |
| Edition: | Vyd. 1. |
| Subjects: | |
| Online Access: |
Digitalizovaný dokument
|
| Physical Description: |
ix, 135 s. : il. (některé barev.) ; 26 cm |
English
Čeština 