[RDF data]
Home | All literature
PropertyValue
sisvu:courseInstanceLiterature <http://kent.zpr.fer.hr:8080/educationalProgram/resource/courseInstance/1199/2003>
sisvu:description E. M. Clarke, O. Grumberg, D.A. Peled: Model Checking, MIT Press, 2000.
sisvu:obligatory true (xsd:boolean)
rdf:type sisvu:Literature