1999
Model checking
GRUMBERG, Orna, Doron A. PELED a E. M. CLARKE
Operace
Citovat
Vytisknout
Základní údaje
Originální název
Model checking
Autoři
GRUMBERG, Orna, Doron A. PELED a E. M. CLARKE
Vydání
Cambridge, xiv, 314, 1999
Nakladatel
MIT Press
Další údaje
ISBN
0262032708
Změněno: 8. 8. 2022 12:24, Záznam byl importován z knihovního systému.
Zobrazeno:
19. 10. 2024 16:30