Vojnar, Tomáš, 1973-
| Biografické údaje: | Narozen 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ů. |
|---|---|
| Zdroj: |
Jeho: Cut-offs and automata in formal verification of infinite-state systems osobní sdělení |
| Další informace: |
  |