Number of the records: 1  

Vojnar, Tomáš, 1973-

  1. Personal nameVojnar, Tomáš, 1973-
    Biographical NoteNarozen 29. 6. 1973 v Karviné. Doc., Ing., Ph.D., autor prací o informačních technologiích, zejména o metodách automatizované verifikace systémů.
    Data source entryJeho: Cut-offs and automata in formal verification of infinite-state systems
    osobní sdělení ; biografické údaje
    Collection kindFile of personal names and family names
    References (1) - 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