Práce na stejné téma (mají shodná klíčová slova):
Model checkingKlíčová slova abecedně | Klíčová slova dle četnosti
Model Checking Software
(Petr Ročkai)2011, Rigorózní práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/d966p/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Multi-Threaded Nested DFS
(Petr Ročkai)2007, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/hq4k0/ | Informatika / | Práce na příbuzné téma