Principles of 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

2008

Principles of model checking

BAIER, Christel a Joost-Pieter KATOEN

Základní údaje

Originální název

Principles of model checking

Autoři

BAIER, Christel a Joost-Pieter KATOEN

Vydání

Cambridge, Mass. xvii, 975, 2008

Nakladatel

MIT Press

Další údaje

Označené pro přenos do RIV

ISBN

9780262026499

Změněno: 23. 2. 2026 06:04, Záznam byl importován z knihovního systému.

BAIER, Christel a Joost-Pieter KATOEN. Principles of model checking. Cambridge, Mass.: MIT Press, 2008, xvii, 975. ISBN 9780262026499.

@article{,
   author = {Baier, Christel and Katoen, JoostandPieter},
   address = {Cambridge, Mass.},
   location = {Cambridge, Mass.},
   isbn = {9780262026499},
   publisher = {MIT Press},
   title = {Principles of model checking},
   year = {2008}
}

TY  - JOUR
AU  - Baier, Christel - Katoen, Joost-Pieter
PY  - 2008
TI  - Principles of model checking
PB  - MIT Press
CY  - Cambridge, Mass.
SN  - 9780262026499
ER  -

BAIER, Christel a Joost-Pieter KATOEN. \textit{Principles of model checking}. Cambridge, Mass.: MIT Press, 2008, xvii, 975. ISBN~9780262026499.