Model checking

GRUMBERG, Orna, Doron A. PELED a E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708.

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