Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.
1999
QA76.76.V47 C553 1999 (Mapit)
Available at General Collection
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Items
Details
Title
Model checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled.
ISBN
0262032708 (alk. paper)
Published
Cambridge, Mass. : MIT Press, [1999]
Copyright
©1999
Language
English
Description
xiv, 314 pages : illustrations ; 24 cm
Call Number
QA76.76.V47 C553 1999
Dewey Decimal Classification
004.2/1
Bibliography, etc. Note
Includes bibliographical references (p. [297]-307) and index.
Added Author
Record Appears in