Principles of model checking / Christel Baier, Joost-Pieter Katoen.
"Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a reference for researchers and practitioners in the field. The book begins with the basic principles for modeling concurrent and communicating systems...
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Book |
Language: | English |
Published: |
Cambridge, Mass. :
The MIT Press,
[2008?]
|
Subjects: |
Closed Stacks - Engineering Math & Physics Library - Stacks
Call Number: |
QA76.76.V47 B35 2008
|
---|---|
QA76.76.V47 B35 2008 |
Unavailable
Notes:
|