HOLÍK, L. Simulations and Antichains for Efficient Handling of Finite Automata [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .

Posudek vedoucího

Vojnar, Tomáš

Posudek oponenta

Černá, Ivana

Jančar, Petr

eVSKP id 99798