@proceedings{DBLP:conf/atva/2015,
  editor    = {Bernd Finkbeiner and
               Geguang Pu and
               Lijun Zhang},
  title     = {Automated Technology for Verification and Analysis - 13th International
               Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9364},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24953-7},
  doi       = {10.1007/978-3-319-24953-7},
  isbn      = {978-3-319-24952-0},
  timestamp = {Mon, 31 Jul 2017 09:06:24 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"RTyHo2Moh7czSiwyA","bibbaseid":"finkbeiner-pu-zhang-automatedtechnologyforverificationandanalysis13thinternationalsymposiumatva2015shanghaichinaoctober12152015proceedings-2015","downloads":0,"creationDate":"2019-02-23T06:38:48.256Z","title":"Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings","author_short":null,"year":2015,"bibtype":"proceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Bernd"],"propositions":[],"lastnames":["Finkbeiner"],"suffixes":[]},{"firstnames":["Geguang"],"propositions":[],"lastnames":["Pu"],"suffixes":[]},{"firstnames":["Lijun"],"propositions":[],"lastnames":["Zhang"],"suffixes":[]}],"title":"Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings","series":"Lecture Notes in Computer Science","volume":"9364","publisher":"Springer","year":"2015","url":"https://doi.org/10.1007/978-3-319-24953-7","doi":"10.1007/978-3-319-24953-7","isbn":"978-3-319-24952-0","timestamp":"Mon, 31 Jul 2017 09:06:24 +0200","biburl":"https://dblp.org/rec/bib/conf/atva/2015","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/atva/2015,\n editor = {Bernd Finkbeiner and\n Geguang Pu and\n Lijun Zhang},\n title = {Automated Technology for Verification and Analysis - 13th International\n Symposium, {ATVA} 2015, Shanghai, China, October 12-15, 2015, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {9364},\n publisher = {Springer},\n year = {2015},\n url = {https://doi.org/10.1007/978-3-319-24953-7},\n doi = {10.1007/978-3-319-24953-7},\n isbn = {978-3-319-24952-0},\n timestamp = {Mon, 31 Jul 2017 09:06:24 +0200},\n biburl = {https://dblp.org/rec/bib/conf/atva/2015},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Finkbeiner, B.","Pu, G.","Zhang, L."],"key":"DBLP:conf/atva/2015","id":"DBLP:conf/atva/2015","bibbaseid":"finkbeiner-pu-zhang-automatedtechnologyforverificationandanalysis13thinternationalsymposiumatva2015shanghaichinaoctober12152015proceedings-2015","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-319-24953-7"},"downloads":0},"search_terms":["automated","technology","verification","analysis","13th","international","symposium","atva","2015","shanghai","china","october","2015","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["64vhzPQouTD2xtS3j"]}