@inproceedings{conf/spin/PasareanuDH99,
  added-at = {2017-05-17T00:00:00.000+0200},
  author = {Pasareanu, Corina S. and Dwyer, Matthew B. and Huth, Michael},
  biburl = {https://www.bibsonomy.org/bibtex/2c3f47f6a86a51a641c9f66310c5e72bc/dblp},
  booktitle = {SPIN},
  crossref = {conf/spin/1999},
  editor = {Dams, Dennis and Gerth, Rob and Leue, Stefan and Massink, Mieke},
  ee = {https://doi.org/10.1007/3-540-48234-2_14},
  interhash = {ef410f974deee6e0026c9e1e0d073078},
  intrahash = {c3f47f6a86a51a641c9f66310c5e72bc},
  isbn = {3-540-66499-8},
  keywords = {dblp},
  pages = {168-183},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T12:05:24.000+0200},
  title = {Assume-Guarantee Model Checking of Software: A Comparative Case Study.},
  url = {http://dblp.uni-trier.de/db/conf/spin/spin1999.html#PasareanuDH99},
  volume = 1680,
  year = 1999
}

{"_id":"5pm3hoagNfHr3g6jf","bibbaseid":"pasareanu-dwyer-huth-assumeguaranteemodelcheckingofsoftwareacomparativecasestudy-1999","authorIDs":[],"author_short":["Pasareanu, C. S.","Dwyer, M. B.","Huth, M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-17T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Dwyer"],"firstnames":["Matthew","B."],"suffixes":[]},{"propositions":[],"lastnames":["Huth"],"firstnames":["Michael"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2c3f47f6a86a51a641c9f66310c5e72bc/dblp","booktitle":"SPIN","crossref":"conf/spin/1999","editor":[{"propositions":[],"lastnames":["Dams"],"firstnames":["Dennis"],"suffixes":[]},{"propositions":[],"lastnames":["Gerth"],"firstnames":["Rob"],"suffixes":[]},{"propositions":[],"lastnames":["Leue"],"firstnames":["Stefan"],"suffixes":[]},{"propositions":[],"lastnames":["Massink"],"firstnames":["Mieke"],"suffixes":[]}],"ee":"https://doi.org/10.1007/3-540-48234-2_14","interhash":"ef410f974deee6e0026c9e1e0d073078","intrahash":"c3f47f6a86a51a641c9f66310c5e72bc","isbn":"3-540-66499-8","keywords":"dblp","pages":"168-183","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T12:05:24.000+0200","title":"Assume-Guarantee Model Checking of Software: A Comparative Case Study.","url":"http://dblp.uni-trier.de/db/conf/spin/spin1999.html#PasareanuDH99","volume":"1680","year":"1999","bibtex":"@inproceedings{conf/spin/PasareanuDH99,\n added-at = {2017-05-17T00:00:00.000+0200},\n author = {Pasareanu, Corina S. and Dwyer, Matthew B. and Huth, Michael},\n biburl = {https://www.bibsonomy.org/bibtex/2c3f47f6a86a51a641c9f66310c5e72bc/dblp},\n booktitle = {SPIN},\n crossref = {conf/spin/1999},\n editor = {Dams, Dennis and Gerth, Rob and Leue, Stefan and Massink, Mieke},\n ee = {https://doi.org/10.1007/3-540-48234-2_14},\n interhash = {ef410f974deee6e0026c9e1e0d073078},\n intrahash = {c3f47f6a86a51a641c9f66310c5e72bc},\n isbn = {3-540-66499-8},\n keywords = {dblp},\n pages = {168-183},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T12:05:24.000+0200},\n title = {Assume-Guarantee Model Checking of Software: A Comparative Case Study.},\n url = {http://dblp.uni-trier.de/db/conf/spin/spin1999.html#PasareanuDH99},\n volume = 1680,\n year = 1999\n}\n\n","author_short":["Pasareanu, C. S.","Dwyer, M. B.","Huth, M."],"editor_short":["Dams, D.","Gerth, R.","Leue, S.","Massink, M."],"key":"conf/spin/PasareanuDH99","id":"conf/spin/PasareanuDH99","bibbaseid":"pasareanu-dwyer-huth-assumeguaranteemodelcheckingofsoftwareacomparativecasestudy-1999","role":"author","urls":{"Link":"https://doi.org/10.1007/3-540-48234-2_14","Paper":"http://dblp.uni-trier.de/db/conf/spin/spin1999.html#PasareanuDH99"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.326Z","downloads":0,"keywords":["dblp"],"search_terms":["assume","guarantee","model","checking","software","comparative","case","study","pasareanu","dwyer","huth"],"title":"Assume-Guarantee Model Checking of Software: A Comparative Case Study.","year":1999,"dataSources":["nk4Sfi2ddzBtdLpRN"]}