Matches in DBpedia 2015-10 for { <http://doi.org/10.1023/A:1011276507260> ?p ?o }
Showing triples 1 to 15 of
15
with 100 triples per page.
- A:1011276507260 doi "10.1023/A:1011276507260".
- A:1011276507260 first1 "E.".
- A:1011276507260 first2 "A.".
- A:1011276507260 first3 "R.".
- A:1011276507260 first4 "Y.".
- A:1011276507260 isCitedBy Boolean_satisfiability_problem.
- A:1011276507260 journal "Formal Methods in System Design".
- A:1011276507260 last1 "Clarke".
- A:1011276507260 last2 "Biere".
- A:1011276507260 last3 "Raimi".
- A:1011276507260 last4 "Zhu".
- A:1011276507260 pages "7".
- A:1011276507260 title "Bounded Model Checking Using Satisfiability Solving".
- A:1011276507260 volume "19".
- A:1011276507260 year "2001".