Number of the records: 1  

Holík, Lukáš

  1. Personal nameHolík, Lukáš
    Biographical NoteMgr., vysokoškolský pedagog, práce z oblasti automatizované analýzy a verifikace.
    Data source entryHolí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
    Collection kindFile of personal names and family names
    References (2) - Monographies, maps
    Databáze národních autorit NK ČR
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all