Práce na stejné téma (mají shodná klíčová slova):
automatic verificationKlíčová slova abecedně | Klíčová slova dle četnosti
Parallel Quantitative Analysis of Probabilistic Systems
(Milan Češka)2008, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/c9ujz/ | Informatika / | Práce na příbuzné téma