About: Principles of Model Checking

Property	Value
dbo:author	dbr:Christel_Baier dbr:Joost-Pieter_Katoen
dbo:description	كتاب (ar) computer science textbook (en)
dbo:isbn	9780262026499
dbo:nonFictionSubject	dbr:Model_checking
dbo:numberOfPages	975 (xsd:positiveInteger)
dbo:publicationDate	2008-04-25 (xsd:date)
dbo:publisher	dbr:MIT_Press
dbo:thumbnail	wiki-commons:Special:FilePath/Principles_of_Model_Checking.jpg?width=300
dbo:wikiPageExternalLink	https://mitpress.mit.edu/books/principles-model-checking
dbo:wikiPageWikiLink	dbr:Model_checking dbr:MathSciNet dbr:Book_Citation_Index dbr:Christel_Baier dbc:2008_non-fiction_books dbr:Counterexample dbr:Deadlock dbr:Partial_order_reduction dbr:MIT_Press dbr:Computation_tree_logic dbr:Omega-regular_language dbr:Vending_machine dbr:Concurrency_(computer_science) dbr:Precondition dbr:CTL* dbr:Algorithm dbr:Markov_chain dbr:Transition_system dbr:Computer_science dbr:Monopoly_(game) dbc:Computer_science_textbooks dbr:Bisimulation dbr:Regular_language dbr:Joost-Pieter_Katoen dbr:Linear_temporal_logic dbr:The_Computer_Journal dbr:ACM_Computing_Reviews dbr:Safety_property dbr:Liveness dbr:Linear_time_properties dbr:Timed_automata dbr:Büchi_automata dbr:Probabilistic_automata dbr:File:Automate_de_Buchi2.jpg
dbp:alt	Principles of Model Checking (en)
dbp:author	Christel Baier and Joost-Pieter Katoen (en)
dbp:caption	Front cover (en)
dbp:isbn	9780262026499 (xsd:decimal)
dbp:name	Principles of Model Checking (en)
dbp:pages	975 (xsd:integer)
dbp:pubDate	2008-04-25 (xsd:date)
dbp:publisher	dbr:MIT_Press
dbp:subject	dbr:Model_checking
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Infobox_book dbt:Citation dbt:Short_description
dc:publisher	MIT Press
dct:subject	dbc:2008_non-fiction_books dbc:Computer_science_textbooks
rdf:type	owl:Thing bibo:Book wikidata:Q234460 wikidata:Q386724 wikidata:Q571 dbo:Work dbo:WrittenWork schema:Book schema:CreativeWork
rdfs:label	Principles of Model Checking (en)
owl:sameAs	wikidata:Principles of Model Checking dbpedia-global:Principles of Model Checking
prov:wasDerivedFrom	wikipedia-en:Principles_of_Model_Checking?oldid=1241388007&ns=0
foaf:depiction	wiki-commons:Special:FilePath/2-state_Buchi_automaton.svg wiki-commons:Special:FilePath/Principles_of_Model_Checking.jpg
foaf:homepage	https://mitpress.mit.edu/9780262026499/principles-of-model-checking/ https://mitpress.mit.edu/books/principles-model-checking
foaf:isPrimaryTopicOf	wikipedia-en:Principles_of_Model_Checking
foaf:name	Principles of Model Checking (en)
is dbo:wikiPageWikiLink of	dbr:Christel_Baier dbr:Joost-Pieter_Katoen dbr:Linear_time_property
is foaf:primaryTopic of	wikipedia-en:Principles_of_Model_Checking