ŘEHÁK, Vojtěch. Randomized symbolic model checking. Brno. iii, 38. 2002.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Randomized symbolic model checking
Autoři ŘEHÁK, Vojtěch.
Vydání Brno, iii, 38, 2002.
Další údaje
Změnil Záznam byl importován z knihovního systému. Změněno: 8. 8. 2022 05:09.
VytisknoutZobrazeno: 29. 3. 2024 16:58