Theses on the same topic (having an identical keyword):
Keywords ordered alphabetically | Keywords ordered by occurrence rate
Untimed LTL Model Checking of Timed Automata
(Jan Havlíček)2013, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/mohwa/ | Informatika / Paralelní a distribuované systémy | Theses on a related topic
Tight Omega-Automata
(Marek Jankola)2023, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/y8hv7/ | Teoretická informatika / Formální analýza počítačových systémů | Theses on a related topic