Handbook of Model Checking

Edmund M. Clarke (Herausgeber), Thomas A. Henzinger, Helmut Veith, Roderick Bloem (Herausgeber)

Publikation: Buch/Bericht/KonferenzbandBuch (Autorenwerk)ForschungBegutachtung

Originalspracheenglisch
ErscheinungsortCham
VerlagSpringer
Seitenumfang1210
ISBN (Print)978-3-319-10574-1
DOIs
PublikationsstatusVeröffentlicht - 2018

Dies zitieren

Clarke, E. M. (Hrsg.), Henzinger, T. A., Veith, H., & Bloem, R. (Hrsg.) (2018). Handbook of Model Checking. Cham: Springer. https://doi.org/10.1007/978-3-319-10575-8

Handbook of Model Checking. / Clarke, Edmund M. (Herausgeber); Henzinger, Thomas A.; Veith, Helmut; Bloem, Roderick (Herausgeber).

Cham : Springer, 2018. 1210 S.

Publikation: Buch/Bericht/KonferenzbandBuch (Autorenwerk)ForschungBegutachtung

Clarke, EM (Hrsg.), Henzinger, TA, Veith, H & Bloem, R (Hrsg.) 2018, Handbook of Model Checking. Springer, Cham. https://doi.org/10.1007/978-3-319-10575-8
Clarke EM, (ed.), Henzinger TA, Veith H, Bloem R, (ed.). Handbook of Model Checking. Cham: Springer, 2018. 1210 S. https://doi.org/10.1007/978-3-319-10575-8
Clarke, Edmund M. (Herausgeber) ; Henzinger, Thomas A. ; Veith, Helmut ; Bloem, Roderick (Herausgeber). / Handbook of Model Checking. Cham : Springer, 2018. 1210 S.
@book{ee71fb99c458471ea7b4cf9316518c63,
title = "Handbook of Model Checking",
author = "Henzinger, {Thomas A.} and Helmut Veith",
editor = "Clarke, {Edmund M.} and Roderick Bloem",
year = "2018",
doi = "10.1007/978-3-319-10575-8",
language = "English",
isbn = "978-3-319-10574-1",
publisher = "Springer",

}

TY - BOOK

T1 - Handbook of Model Checking

AU - Henzinger, Thomas A.

AU - Veith, Helmut

A2 - Clarke, Edmund M.

A2 - Bloem, Roderick

PY - 2018

Y1 - 2018

U2 - 10.1007/978-3-319-10575-8

DO - 10.1007/978-3-319-10575-8

M3 - Book

SN - 978-3-319-10574-1

BT - Handbook of Model Checking

PB - Springer

CY - Cham

ER -