| ŘEHÁK, Vojtěch. Randomized symbolic model checking. Brno, 2002, iii, 38. |
|
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: 7. 5. 2024 03:25