@proceedings{DBLP:conf/cav/1992,
  editor    = {Gregor von Bochmann and
               David K. Probst},
  title     = {Computer Aided Verification, Fourth International Workshop, {CAV}
               '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {663},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56496-9},
  doi       = {10.1007/3-540-56496-9},
  isbn      = {3-540-56496-9},
  timestamp = {Sat, 20 May 2017 15:32:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"H3pB4h38xgSJbuWT3","bibbaseid":"vonbochmann-probst-computeraidedverificationfourthinternationalworkshopcav92montrealcanadajune29july11992proceedings-1993","downloads":0,"creationDate":"2018-07-08T21:22:38.943Z","title":"Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings","author_short":null,"year":1993,"bibtype":"proceedings","biburl":"https://dblp.org/pid/m/KennethLMcMillan.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Gregor"],"propositions":["von"],"lastnames":["Bochmann"],"suffixes":[]},{"firstnames":["David","K."],"propositions":[],"lastnames":["Probst"],"suffixes":[]}],"title":"Computer Aided Verification, Fourth International Workshop, CAV '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings","series":"Lecture Notes in Computer Science","volume":"663","publisher":"Springer","year":"1993","url":"https://doi.org/10.1007/3-540-56496-9","doi":"10.1007/3-540-56496-9","isbn":"3-540-56496-9","timestamp":"Sat, 20 May 2017 15:32:45 +0200","biburl":"https://dblp.org/rec/bib/conf/cav/1992","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/cav/1992,\n editor = {Gregor von Bochmann and\n David K. Probst},\n title = {Computer Aided Verification, Fourth International Workshop, {CAV}\n '92, Montreal, Canada, June 29 - July 1, 1992, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {663},\n publisher = {Springer},\n year = {1993},\n url = {https://doi.org/10.1007/3-540-56496-9},\n doi = {10.1007/3-540-56496-9},\n isbn = {3-540-56496-9},\n timestamp = {Sat, 20 May 2017 15:32:45 +0200},\n biburl = {https://dblp.org/rec/bib/conf/cav/1992},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["von Bochmann, G.","Probst, D. K."],"key":"DBLP:conf/cav/1992","id":"DBLP:conf/cav/1992","bibbaseid":"vonbochmann-probst-computeraidedverificationfourthinternationalworkshopcav92montrealcanadajune29july11992proceedings-1993","role":"editor","urls":{"Paper":"https://doi.org/10.1007/3-540-56496-9"},"downloads":0,"html":""},"search_terms":["computer","aided","verification","fourth","international","workshop","cav","montreal","canada","june","july","1992","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["mNLXpycJZCXeu2mHY"]}