Principles of model checking [electronic resource] / Christel Baier, Joost-Pieter Katoen.
2008
QA76.76.V47 B35 2008
Linked e-resources
Linked Resource
Details
Title
Principles of model checking [electronic resource] / Christel Baier, Joost-Pieter Katoen.
Author
ISBN
9780262026499
026202649X
026202649X
Publication Details
Cambridge, Mass. : MIT Press, 2008.
Language
English
Description
xvii, 975 p. : ill.
Call Number
QA76.76.V47 B35 2008
Dewey Decimal Classification
004.2/4
Bibliography, etc. Note
Includes bibliographical references (p. 931-964) and index.
Access Note
Access limited to authorized users.
Added Author
Linked Resources
Record Appears in