@proceedings{DBLP:conf/cav/2005,
  editor    = {Kousha Etessami and
               Sriram K. Rajamani},
  title     = {Computer Aided Verification, 17th International Conference, {CAV}
               2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3576},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b138445},
  doi       = {10.1007/b138445},
  isbn      = {3-540-27231-3},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"hjFfnspsREtwwNTX4","bibbaseid":"etessami-rajamani-computeraidedverification17thinternationalconferencecav2005edinburghscotlandukjuly6102005proceedings-2005","downloads":0,"creationDate":"2018-07-08T21:22:38.881Z","title":"Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings","author_short":null,"year":2005,"bibtype":"proceedings","biburl":"https://dblp.org/pid/m/KennethLMcMillan.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Kousha"],"propositions":[],"lastnames":["Etessami"],"suffixes":[]},{"firstnames":["Sriram","K."],"propositions":[],"lastnames":["Rajamani"],"suffixes":[]}],"title":"Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings","series":"Lecture Notes in Computer Science","volume":"3576","publisher":"Springer","year":"2005","url":"https://doi.org/10.1007/b138445","doi":"10.1007/b138445","isbn":"3-540-27231-3","timestamp":"Tue, 30 May 2017 16:36:52 +0200","biburl":"https://dblp.org/rec/bib/conf/cav/2005","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/cav/2005,\n editor = {Kousha Etessami and\n Sriram K. Rajamani},\n title = {Computer Aided Verification, 17th International Conference, {CAV}\n 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {3576},\n publisher = {Springer},\n year = {2005},\n url = {https://doi.org/10.1007/b138445},\n doi = {10.1007/b138445},\n isbn = {3-540-27231-3},\n timestamp = {Tue, 30 May 2017 16:36:52 +0200},\n biburl = {https://dblp.org/rec/bib/conf/cav/2005},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Etessami, K.","Rajamani, S. K."],"key":"DBLP:conf/cav/2005","id":"DBLP:conf/cav/2005","bibbaseid":"etessami-rajamani-computeraidedverification17thinternationalconferencecav2005edinburghscotlandukjuly6102005proceedings-2005","role":"editor","urls":{"Paper":"https://doi.org/10.1007/b138445"},"downloads":0,"html":""},"search_terms":["computer","aided","verification","17th","international","conference","cav","2005","edinburgh","scotland","july","2005","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["mNLXpycJZCXeu2mHY"]}