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
Book
Saved in:
Bibliography: Obsahuje bibliografii
ISBN: 978-80-214-4217-7
Signatura: 2-1265.059
Odkaz do Alephu: Full view holdings