Paralelní syntéza parametrů z formulí hybridní logiky HUCTL
Autor práce
Samuel Pastva
Masarykova univerzita v Brně, Fakulta informatiky
Vedoucí práce
prof. RNDr. Luboš Brim, CSc.