Handbook 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

2018

Handbook of model checking

Základní údaje

Originální název

Handbook of model checking

Autoři

Edited by E. M. Clarke - T. A. Henzinger - Helmut Veith - Roderick Bloem.

Vydání

Cham, xxiv, 1210, 2018

Nakladatel

Springer International Publishing AG

Další údaje

Označené pro přenos do RIV

ISBN

9783319105741

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

Handbook of model checking. Edited by E. M. Clarke - T. A. Henzinger - Helmut Veith - Roderick Bloem. Cham: Springer International Publishing AG, 2018, xxiv, 1210. ISBN 9783319105741.

@article{,
   address = {Cham},
   location = {Cham},
   isbn = {9783319105741},
   publisher = {Springer International Publishing AG},
   title = {Handbook of model checking},
   year = {2018}
}

TY  - JOUR
PY  - 2018
TI  - Handbook of model checking
PB  - Springer International Publishing AG
CY  - Cham
SN  - 9783319105741
ER  -

\textit{Handbook of model checking}. Edited by E. M. Clarke - T. A. Henzinger - Helmut Veith - Roderick Bloem. Cham: Springer International Publishing AG, 2018, xxiv, 1210. ISBN~9783319105741.