Number of the records: 1
Matoušek, Petr, 1973-
Personal name Matoušek, Petr, 1973- Biographical Note Narozen v roce 1973. Informatik. Odborník v oblasti počítačových sítí, přenosu hlasu přes IP, formální specifikace a verifikace časovaných systémů. Data source entry Matoušek, P.: Symbolic data structures for parametric verification ; autoritní forma www(Fakulta informačních technologií, Vysoké učení technické v Brně), cit. 16. 5. 2013 Collection kind File of personal names and family names References (1) - Monographies, maps Databáze národních autorit NK ČR
Number of the records: 1