1999

Model checking

GRUMBERG, Orna, Doron A. PELED a E. M. CLARKE

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.