Práce na stejné téma (mají shodná klíčová slova):
ltsminKlíčová slova abecedně | Klíčová slova dle četnosti
Porovnání nástrojů pro paralelní LTL model checking
(Marek Tomáštík)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/dk1b6/ | Informatika / Matematická informatika | Práce na příbuzné téma
Coloured Nested DFS
(Martin Žák)2016, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/p4teq/ | Aplikovaná informatika / | Práce na příbuzné téma