This HTML5 document contains 87 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n14https://mitpress.mit.edu/books/
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
n17http://dbpedia.org/resource/File:
foafhttp://xmlns.com/foaf/0.1/
n19https://global.dbpedia.org/id/
dchttp://purl.org/dc/elements/1.1/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
bibohttp://purl.org/ontology/bibo/
n4http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Principles_of_Model_Checking
rdf:type
dbo:Work owl:Thing bibo:Book wikidata:Q571 wikidata:Q386724 schema:CreativeWork wikidata:Q234460 schema:Book dbo:WrittenWork dbo:Book
rdfs:label
Principles of Model Checking
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.
foaf:name
Principles of Model Checking
foaf:homepage
n14:principles-model-checking
dbp:name
Principles of Model Checking
foaf:depiction
n4:Principles_of_Model_Checking.jpg n4:Automate_de_Buchi2.jpg
dc:publisher
MIT Press
dcterms:subject
dbc:Computer_science_textbooks dbc:2008_non-fiction_books
dbo:wikiPageID
69921670
dbo:wikiPageRevisionID
1117451170
dbo:wikiPageWikiLink
dbr:Concurrency_(computer_science) dbr:Book_Citation_Index dbc:Computer_science_textbooks dbr:Model_checking dbr:Precondition dbr:Christel_Baier dbr:Computation_tree_logic dbr:The_Computer_Journal dbr:Computer_science dbr:Transition_system dbr:Bisimulation dbr:CTL* dbr:Linear_temporal_logic dbr:Partial_order_reduction dbr:Algorithm n17:Automate_de_Buchi2.jpg dbr:Regular_language dbr:MIT_Press dbr:Timed_automata dbr:MathSciNet dbr:Liveness dbr:Markov_chain dbc:2008_non-fiction_books dbr:Linear_time_properties dbr:Büchi_automata dbr:ACM_Computing_Reviews dbr:Omega-regular_language dbr:Deadlock dbr:Joost-Pieter_Katoen dbr:Vending_machine dbr:Safety_property dbr:Counterexample dbr:Monopoly_(game) dbr:Probabilistic_automata
dbo:wikiPageExternalLink
n14:principles-model-checking
owl:sameAs
wikidata:Q110903908 n19:GF6Cf
dbp:wikiPageUsesTemplate
dbt:Reflist dbt:Short_description dbt:Citation dbt:Infobox_book
dbo:thumbnail
n4:Principles_of_Model_Checking.jpg?width=300
dbp:alt
Principles of Model Checking
dbp:author
Christel Baier and Joost-Pieter Katoen
dbp:caption
Front cover
dbp:isbn
9780262026499
dbp:pages
975
dbp:pubDate
2008-04-25
dbp:publisher
dbr:MIT_Press
dbp:subject
dbr:Model_checking
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.
prov:wasDerivedFrom
wikipedia-en:Principles_of_Model_Checking?oldid=1117451170&ns=0
dbo:wikiPageLength
5646
dbo:isbn
9780262026499
dbo:numberOfPages
975
dbo:publicationDate
2008-04-25
dbo:author
dbr:Joost-Pieter_Katoen dbr:Christel_Baier
dbo:nonFictionSubject
dbr:Model_checking
dbo:publisher
dbr:MIT_Press
foaf:isPrimaryTopicOf
wikipedia-en:Principles_of_Model_Checking
Subject Item
dbr:Joost-Pieter_Katoen
dbo:wikiPageWikiLink
dbr:Principles_of_Model_Checking
Subject Item
dbr:Linear_time_property
dbo:wikiPageWikiLink
dbr:Principles_of_Model_Checking
Subject Item
dbr:Christel_Baier
dbo:wikiPageWikiLink
dbr:Principles_of_Model_Checking
Subject Item
wikipedia-en:Principles_of_Model_Checking
foaf:primaryTopic
dbr:Principles_of_Model_Checking