Paralelní syntéza parametrů z formulí hybridní logiky HUCTL
Author
Samuel Pastva
Fakulta informatiky, Faculty of Informatics
Supervisor
prof. RNDr. Luboš Brim, CSc.