Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/10722167_15> ?p ?o }
Showing triples 1 to 22 of
22
with 100 triples per page.
- 10722167_15 displayAuthors "etal".
- 10722167_15 doi "10.1007/10722167_15".
- 10722167_15 first "Edmund M.".
- 10722167_15 first1 "Edmund".
- 10722167_15 first2 "Orna".
- 10722167_15 first3 "Somesh".
- 10722167_15 first4 "Yuan".
- 10722167_15 first5 "Helmut".
- 10722167_15 isCitedBy Computer_Aided_Verification.
- 10722167_15 isCitedBy Model_checking.
- 10722167_15 journal "CAV".
- 10722167_15 journal "Computer Aided Verification".
- 10722167_15 last "Clarke".
- 10722167_15 last1 "Clarke".
- 10722167_15 last2 "Grumberg".
- 10722167_15 last3 "Jha".
- 10722167_15 last4 "Lu".
- 10722167_15 last5 "Veith".
- 10722167_15 pages "154".
- 10722167_15 title "Counterexample-Guided Abstraction Refinement".
- 10722167_15 volume "1855".
- 10722167_15 year "2000".