Principles of Model Checking

C Baier, Joost P. Katoen

Research output: Book/Report › Book › Academic

Original languageUndefined
Place of PublicationNew York
PublisherMIT Press
Number of pages965
ISBN (Print)978-0-262-02649-9
Publication statusPublished - May 2008

Keywords

  • METIS-250848
  • EWI-11580

Cite this

Baier, C., & Katoen, J. P. (2008). Principles of Model Checking. New York: MIT Press.
Baier, C ; Katoen, Joost P. / Principles of Model Checking. New York : MIT Press, 2008. 965 p.
@book{a18504e3d1054d8b96af31f405a1e728,
title = "Principles of Model Checking",
keywords = "METIS-250848, EWI-11580",
author = "C Baier and Katoen, {Joost P.}",
year = "2008",
month = "5",
language = "Undefined",
isbn = "978-0-262-02649-9",
publisher = "MIT Press",

}

Baier, C & Katoen, JP 2008, Principles of Model Checking. MIT Press, New York.

Principles of Model Checking. / Baier, C; Katoen, Joost P.

New York : MIT Press, 2008. 965 p.

Research output: Book/Report › Book › Academic

TY - BOOK

T1 - Principles of Model Checking

AU - Baier, C

AU - Katoen, Joost P.

PY - 2008/5

Y1 - 2008/5

KW - METIS-250848

KW - EWI-11580

M3 - Book

SN - 978-0-262-02649-9

BT - Principles of Model Checking

PB - MIT Press

CY - New York

ER -

Baier C, Katoen JP. Principles of Model Checking. New York: MIT Press, 2008. 965 p.