Model checking

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

2018

Model checking

CLARKE, E. M.; Orna GRUMBERG; Doron PELED; Daniel KROENING; Helmut VEITH et al.

Základní údaje

Originální název

Model checking

Autoři

CLARKE, E. M.; Orna GRUMBERG; Doron PELED; Daniel KROENING a Helmut VEITH

Vydání

Second edition. Cambridge, Massachusetts, xx, 402, 2018

Nakladatel

MIT Press

Další údaje

Označené pro přenos do RIV

ISBN

9780262038836

Změněno: 29. 6. 2026 07:09, Záznam byl importován z knihovního systému.

CLARKE, E. M.; Orna GRUMBERG; Doron PELED; Daniel KROENING a Helmut VEITH. Model checking. Second edition. Cambridge, Massachusetts: MIT Press, 2018, xx, 402. ISBN 9780262038836.

@article{,
   author = {Clarke, E. M. and Grumberg, Orna and Peled, Doron and Kroening, Daniel and Veith, Helmut},
   address = {Cambridge, Massachusetts},
   edition = {Second edition},
   location = {Cambridge, Massachusetts},
   isbn = {9780262038836},
   publisher = {MIT Press},
   title = {Model checking},
   year = {2018}
}

TY  - JOUR
AU  - Clarke, E. M. - Grumberg, Orna - Peled, Doron - Kroening, Daniel - Veith, Helmut
PY  - 2018
TI  - Model checking
PB  - MIT Press
CY  - Cambridge, Massachusetts
SN  - 9780262038836
ER  -

CLARKE, E. M.; Orna GRUMBERG; Doron PELED; Daniel KROENING a Helmut VEITH. \textit{Model checking}. Second edition. Cambridge, Massachusetts: MIT Press, 2018, xx, 402. ISBN~9780262038836.