Práce na stejné téma (mají shodná klíčová slova):
state compressionKlíčová slova abecedně | Klíčová slova dle četnosti
State space compression for the DiVinE model checker
(Vladimír Štill)2013, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/welgh/ | Informatika / Počítačové sítě a komunikace | Práce na příbuzné téma
Huffmanovo kódování stavů v DiVinE
(Jaroslav Šeděnka)2007, Bakalářská práce, Fakulta informatiky / Masarykova univerzita
• https://is.muni.cz/th/xzhzl/ | Aplikovaná informatika / | Práce na příbuzné téma