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