Matches in DBpedia 2016-04 for { <http://research.microsoft.com/en-us/um/people/pg/public_psfiles/thesis.ps> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- thesis.ps first "Patrice".
- thesis.ps format "PostScript".
- thesis.ps isCitedBy Partial_order_reduction.
- thesis.ps last "Godefroid".
- thesis.ps publisher "University of Liege, Computer Science Department".
- thesis.ps ref "harv".
- thesis.ps title "Partial-Order Methods for the Verification of Concurrent Systems -- An Approach to the State-Explosion Problem".
- thesis.ps type "PhD. thesis".
- thesis.ps url thesis.ps.
- thesis.ps year "1994".