Handbook of Model Checking

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

Research output: Book/ReportBookResearchpeer-review

LanguageEnglish
Place of PublicationCham
PublisherSpringer
Number of pages1210
ISBN (Print)978-3-319-10574-1
DOIs
StatusPublished - 2018

Cite this

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

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

Cham : Springer, 2018. 1210 p.

Research output: Book/ReportBookResearchpeer-review

Clarke, EM (ed.), Henzinger, TA, Veith, H & Bloem, R (ed.) 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 p. https://doi.org/10.1007/978-3-319-10575-8
Clarke, Edmund M. (Editor) ; Henzinger, Thomas A. ; Veith, Helmut ; Bloem, Roderick (Editor). / Handbook of Model Checking. Cham : Springer, 2018. 1210 p.
@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 -