| dbo:abstract
|
- Principles of Model Checking is a textbook on model checking, an area of computer science that automates the problem of determining if a machine meets specification requirements. It was written by Christel Baier and Joost-Pieter Katoen, and published in 2008 by MIT Press. (en)
|
| dbo:author
| |
| dbo:isbn
| |
| dbo:nonFictionSubject
| |
| dbo:numberOfPages
|
- 975 (xsd:positiveInteger)
|
| dbo:publicationDate
| |
| dbo:publisher
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5646 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:alt
|
- Principles of Model Checking (en)
|
| dbp:author
|
- Christel Baier and Joost-Pieter Katoen (en)
|
| dbp:caption
| |
| dbp:isbn
|
- 9780262026499 (xsd:decimal)
|
| dbp:name
|
- Principles of Model Checking (en)
|
| dbp:pages
| |
| dbp:pubDate
| |
| dbp:publisher
| |
| dbp:subject
| |
| dbp:wikiPageUsesTemplate
| |
| dc:publisher
| |
| dcterms:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Principles of Model Checking is a textbook on model checking, an area of computer science that automates the problem of determining if a machine meets specification requirements. It was written by Christel Baier and Joost-Pieter Katoen, and published in 2008 by MIT Press. (en)
|
| rdfs:label
|
- Principles of Model Checking (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Principles of Model Checking (en)
|
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
