Theses on the same topic (having an identical keyword):
coloured model checkingKeywords ordered alphabetically | Keywords ordered by occurrence rate
Symbolic Model Checking of Hybrid CTL
(Ondřej Huvar)2022, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/zrf3h/ | Informatika / | Theses on a related topic
Coloured Nested DFS
(Martin Žák)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/p4teq/ | Aplikovaná informatika / | Theses on a related topic