@proceedings{DBLP:conf/cav/2018-1,
  editor    = {Hana Chockler and
               Georg Weissenbacher},
  title     = {Computer Aided Verification - 30th International Conference, {CAV}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10981},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96145-3},
  doi       = {10.1007/978-3-319-96145-3},
  isbn      = {978-3-319-96144-6},
  timestamp = {Mon, 23 Jul 2018 17:17:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2018-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"nDFLwpLcQME988z75","bibbaseid":"chockler-weissenbacher-computeraidedverification30thinternationalconferencecav2018heldaspartofthefederatedlogicconferencefloc2018oxfordukjuly14172018proceedingsparti-2018","downloads":0,"creationDate":"2019-02-23T06:38:48.235Z","title":"Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I","author_short":null,"year":2018,"bibtype":"proceedings","biburl":"https://dblp.org/pid/07/3797.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Hana"],"propositions":[],"lastnames":["Chockler"],"suffixes":[]},{"firstnames":["Georg"],"propositions":[],"lastnames":["Weissenbacher"],"suffixes":[]}],"title":"Computer Aided Verification - 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I","series":"Lecture Notes in Computer Science","volume":"10981","publisher":"Springer","year":"2018","url":"https://doi.org/10.1007/978-3-319-96145-3","doi":"10.1007/978-3-319-96145-3","isbn":"978-3-319-96144-6","timestamp":"Mon, 23 Jul 2018 17:17:39 +0200","biburl":"https://dblp.org/rec/bib/conf/cav/2018-1","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/cav/2018-1,\n editor = {Hana Chockler and\n Georg Weissenbacher},\n title = {Computer Aided Verification - 30th International Conference, {CAV}\n 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,\n UK, July 14-17, 2018, Proceedings, Part {I}},\n series = {Lecture Notes in Computer Science},\n volume = {10981},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-319-96145-3},\n doi = {10.1007/978-3-319-96145-3},\n isbn = {978-3-319-96144-6},\n timestamp = {Mon, 23 Jul 2018 17:17:39 +0200},\n biburl = {https://dblp.org/rec/bib/conf/cav/2018-1},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Chockler, H.","Weissenbacher, G."],"key":"DBLP:conf/cav/2018-1","id":"DBLP:conf/cav/2018-1","bibbaseid":"chockler-weissenbacher-computeraidedverification30thinternationalconferencecav2018heldaspartofthefederatedlogicconferencefloc2018oxfordukjuly14172018proceedingsparti-2018","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-319-96145-3"},"downloads":0},"search_terms":["computer","aided","verification","30th","international","conference","cav","2018","held","part","federated","logic","conference","floc","2018","oxford","july","2018","proceedings","part"],"keywords":[],"authorIDs":[],"dataSources":["64vhzPQouTD2xtS3j"]}