Počet záznamů: 1
Holík, Lukáš
Osobní jméno Holík, Lukáš Biogr.poz. Mgr., vysokoškolský pedagog, práce z oblasti automatizované analýzy a verifikace. Zdroj dat Holík, L. - Vojnar, T.: Simulations and antichains for efficient handling of finite automata www(Vysoké učení technické v Brně. Fakulta informačních technologií, cit. 4. 4. 2011) ; biografické údaje Druh soub. Soubor osobních jmen a jmen rodin Odkazy (2) - Odborná literatura, mapy Databáze národních autorit NK ČR
Počet záznamů: 1