Theses on the same topic (having an identical keyword):
buchi automataKeywords ordered alphabetically | Keywords ordered by occurrence rate
Complementation of TBA Based on Semi-Determinization
(Mikuláš Klokočka)2019, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/y3sx3/ | Informatika / Teoretická informatika | Theses on a related topic
Model Checking of promt-LTL properties
(Ondřej Kuzník)2009, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/fpfgf/ | Informatika / | Theses on a related topic