Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-642-03237-0_23> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- 978-3-642-03237-0_23 authorlink1 "Andrei Voronkov".
- 978-3-642-03237-0_23 chapter "Inter-program Properties".
- 978-3-642-03237-0_23 doi "10.1007/978-3-642-03237-0_23".
- 978-3-642-03237-0_23 first1 "A.".
- 978-3-642-03237-0_23 first2 "I.".
- 978-3-642-03237-0_23 isCitedBy Andrei_Voronkov.
- 978-3-642-03237-0_23 isbn "978-3-642-03236-3".
- 978-3-642-03237-0_23 last1 "Voronkov".
- 978-3-642-03237-0_23 last2 "Narasamdya".
- 978-3-642-03237-0_23 pages "343".
- 978-3-642-03237-0_23 series "Lecture Notes in Computer Science".
- 978-3-642-03237-0_23 title "Static Analysis".
- 978-3-642-03237-0_23 volume "5673".
- 978-3-642-03237-0_23 year "2009".