Práce na stejné téma (mají shodná klíčová slova):
disjunctionKlíčová slova abecedně | Klíčová slova dle četnosti
Paralelní verifikace LTL(F,G) vlastností
(Jitka Kudrnáčová)2008, Diplomová práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/qanl7/ | Informatika / Paralelní a distribuované systémy | Práce na příbuzné téma
Taxonomická studie orthotrichálních mechů (Bryophyta) temperátních oblastí Číny
(Zuzana KOMÍNKOVÁ)2020, Disertační práce, Přírodovědecká fakulta / OSTRAVSKÁ UNIVERZITA
• http://theses.cz/id//1mds1p// | Biologie / | Práce na příbuzné téma