Matches in DBpedia 2016-04 for { <http://doi.org/10.1145/2254064.2254088> ?p ?o }
Showing triples 1 to 19 of
19
with 100 triples per page.
- 2254064.2254088 date "2012-01-01".
- 2254064.2254088 doi "10.1145/2254064.2254088".
- 2254064.2254088 first "Volodymyr".
- 2254064.2254088 first2 "Johannes".
- 2254064.2254088 first3 "Stefan".
- 2254064.2254088 first4 "George".
- 2254064.2254088 isCitedBy Symbolic_execution.
- 2254064.2254088 isbn "978-1-4503-1205-9".
- 2254064.2254088 journal "Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation".
- 2254064.2254088 last "Kuznetsov".
- 2254064.2254088 last2 "Kinder".
- 2254064.2254088 last3 "Bucur".
- 2254064.2254088 last4 "Candea".
- 2254064.2254088 location "New York, NY, USA".
- 2254064.2254088 pages "193–204".
- 2254064.2254088 publisher "ACM".
- 2254064.2254088 series "PLDI '12".
- 2254064.2254088 title "Efficient State Merging in Symbolic Execution".
- 2254064.2254088 url "http://doi.acm.org/10.1145/2254064.2254088".