Principles of Model Checking

Property	Value
rdf:type	Computer science textbook owl:NamedIndividual
rdfs:label	Principles of Model Checking
owl:sameAs	dbr:Principles_of_Model_Checking
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Category:Computer_science_textbooks
skos:prefLabel	Principles of Model Checking
clgo:author	Joost-Pieter Katoen Christel Baier
clgo:isbn	9780262026499
clgo:nonFictionSubject	Computer science Model checking
clgo:numberOfPages	975
clgo:publicationDate	2008-04-25
clgo:publisher	MIT Press

About: clgr:Principles_of_Model_Checking