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 |