Matches in DBpedia 2015-10 for { <http://cm.bell-labs.com/who/god/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".