Matches in DBpedia 2015-10 for { <http://dl.acm.org/citation.cfm?id=1040315> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- citation.cfm?id=1040315 first "Cormac".
- citation.cfm?id=1040315 first2 "Patrice".
- citation.cfm?id=1040315 isCitedBy Partial_order_reduction.
- citation.cfm?id=1040315 last "Flanagan".
- citation.cfm?id=1040315 last2 "Godefroid".
- citation.cfm?id=1040315 ref "harv".
- citation.cfm?id=1040315 title "Dynamic partial-order reduction for model checking software".
- citation.cfm?id=1040315 url citation.cfm?id=1040315.
- citation.cfm?id=1040315 year "2005".