@inproceedings{conf/compos/BerezinCC97,
  added-at = {2011-06-17T00:00:00.000+0200},
  author = {Berezin, Sergey and Campos, Sérgio Vale Aguiar and Clarke, Edmund M.},
  biburl = {http://www.bibsonomy.org/bibtex/24839f8499fb12be30f943024bb5241ef/dblp},
  booktitle = {COMPOS},
  crossref = {conf/compos/1997},
  editor = {de Roever, Willem P. and Langmaack, Hans and Pnueli, Amir},
  ee = {http://dx.doi.org/10.1007/3-540-49213-5_4},
  interhash = {fcdf170fca88636a5d4e60f01f80afc3},
  intrahash = {4839f8499fb12be30f943024bb5241ef},
  isbn = {3-540-65493-3},
  keywords = {dblp},
  pages = {81-102},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2011-06-18T11:36:12.000+0200},
  title = {Compositional Reasoning in Model Checking.},
  url = {http://dblp.uni-trier.de/db/conf/compos/compos1997.html#BerezinCC97},
  volume = 1536,
  year = 1997
}

{"_id":"apAg2DuZe82jQsM6T","bibbaseid":"berezin-campos-clarke-compositionalreasoninginmodelchecking-1997","downloads":0,"creationDate":"2016-11-08T12:25:30.497Z","title":"Compositional Reasoning in Model Checking.","author_short":["Berezin, S.","Campos, S. V. A.","Clarke, E. M."],"year":1997,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/vale?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2011-06-17T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Berezin"],"firstnames":["Sergey"],"suffixes":[]},{"propositions":[],"lastnames":["Campos"],"firstnames":["Sérgio","Vale","Aguiar"],"suffixes":[]},{"propositions":[],"lastnames":["Clarke"],"firstnames":["Edmund","M."],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/24839f8499fb12be30f943024bb5241ef/dblp","booktitle":"COMPOS","crossref":"conf/compos/1997","editor":[{"propositions":["de"],"lastnames":["Roever"],"firstnames":["Willem","P."],"suffixes":[]},{"propositions":[],"lastnames":["Langmaack"],"firstnames":["Hans"],"suffixes":[]},{"propositions":[],"lastnames":["Pnueli"],"firstnames":["Amir"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/3-540-49213-5_4","interhash":"fcdf170fca88636a5d4e60f01f80afc3","intrahash":"4839f8499fb12be30f943024bb5241ef","isbn":"3-540-65493-3","keywords":"dblp","pages":"81-102","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2011-06-18T11:36:12.000+0200","title":"Compositional Reasoning in Model Checking.","url":"http://dblp.uni-trier.de/db/conf/compos/compos1997.html#BerezinCC97","volume":"1536","year":"1997","bibtex":"@inproceedings{conf/compos/BerezinCC97,\n added-at = {2011-06-17T00:00:00.000+0200},\n author = {Berezin, Sergey and Campos, Sérgio Vale Aguiar and Clarke, Edmund M.},\n biburl = {http://www.bibsonomy.org/bibtex/24839f8499fb12be30f943024bb5241ef/dblp},\n booktitle = {COMPOS},\n crossref = {conf/compos/1997},\n editor = {de Roever, Willem P. and Langmaack, Hans and Pnueli, Amir},\n ee = {http://dx.doi.org/10.1007/3-540-49213-5_4},\n interhash = {fcdf170fca88636a5d4e60f01f80afc3},\n intrahash = {4839f8499fb12be30f943024bb5241ef},\n isbn = {3-540-65493-3},\n keywords = {dblp},\n pages = {81-102},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2011-06-18T11:36:12.000+0200},\n title = {Compositional Reasoning in Model Checking.},\n url = {http://dblp.uni-trier.de/db/conf/compos/compos1997.html#BerezinCC97},\n volume = 1536,\n year = 1997\n}\n\n","author_short":["Berezin, S.","Campos, S. V. A.","Clarke, E. M."],"editor_short":["de Roever, W. P.","Langmaack, H.","Pnueli, A."],"key":"conf/compos/BerezinCC97","id":"conf/compos/BerezinCC97","bibbaseid":"berezin-campos-clarke-compositionalreasoninginmodelchecking-1997","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/3-540-49213-5_4","Paper":"http://dblp.uni-trier.de/db/conf/compos/compos1997.html#BerezinCC97"},"keyword":["dblp"],"downloads":0,"html":""},"search_terms":["compositional","reasoning","model","checking","berezin","campos","clarke"],"keywords":["dblp"],"authorIDs":[],"dataSources":["CS6vigEABiPwJB2FM"]}