@inproceedings{conf/tacas/CobleighGP03,
  added-at = {2017-05-24T00:00:00.000+0200},
  author = {Cobleigh, Jamieson M. and Giannakopoulou, Dimitra and Pasareanu, Corina S.},
  biburl = {https://www.bibsonomy.org/bibtex/23cbe5f0b42384060922ad6533b279ae1/dblp},
  booktitle = {TACAS},
  crossref = {conf/tacas/2003},
  editor = {Garavel, Hubert and Hatcliff, John},
  ee = {https://doi.org/10.1007/3-540-36577-X_24},
  interhash = {cfd5572a00886fc75b85057d4bef2866},
  intrahash = {3cbe5f0b42384060922ad6533b279ae1},
  isbn = {3-540-00898-5},
  keywords = {dblp},
  pages = {331-346},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2019-05-15T14:36:06.000+0200},
  title = {Learning Assumptions for Compositional Verification.},
  url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2003.html#CobleighGP03},
  volume = 2619,
  year = 2003
}

{"_id":"Mk3XpiFxDtzLz7XTR","bibbaseid":"cobleigh-giannakopoulou-pasareanu-learningassumptionsforcompositionalverification-2003","authorIDs":[],"author_short":["Cobleigh, J. M.","Giannakopoulou, D.","Pasareanu, C. S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-24T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Cobleigh"],"firstnames":["Jamieson","M."],"suffixes":[]},{"propositions":[],"lastnames":["Giannakopoulou"],"firstnames":["Dimitra"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/23cbe5f0b42384060922ad6533b279ae1/dblp","booktitle":"TACAS","crossref":"conf/tacas/2003","editor":[{"propositions":[],"lastnames":["Garavel"],"firstnames":["Hubert"],"suffixes":[]},{"propositions":[],"lastnames":["Hatcliff"],"firstnames":["John"],"suffixes":[]}],"ee":"https://doi.org/10.1007/3-540-36577-X_24","interhash":"cfd5572a00886fc75b85057d4bef2866","intrahash":"3cbe5f0b42384060922ad6533b279ae1","isbn":"3-540-00898-5","keywords":"dblp","pages":"331-346","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T14:36:06.000+0200","title":"Learning Assumptions for Compositional Verification.","url":"http://dblp.uni-trier.de/db/conf/tacas/tacas2003.html#CobleighGP03","volume":"2619","year":"2003","bibtex":"@inproceedings{conf/tacas/CobleighGP03,\n added-at = {2017-05-24T00:00:00.000+0200},\n author = {Cobleigh, Jamieson M. and Giannakopoulou, Dimitra and Pasareanu, Corina S.},\n biburl = {https://www.bibsonomy.org/bibtex/23cbe5f0b42384060922ad6533b279ae1/dblp},\n booktitle = {TACAS},\n crossref = {conf/tacas/2003},\n editor = {Garavel, Hubert and Hatcliff, John},\n ee = {https://doi.org/10.1007/3-540-36577-X_24},\n interhash = {cfd5572a00886fc75b85057d4bef2866},\n intrahash = {3cbe5f0b42384060922ad6533b279ae1},\n isbn = {3-540-00898-5},\n keywords = {dblp},\n pages = {331-346},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T14:36:06.000+0200},\n title = {Learning Assumptions for Compositional Verification.},\n url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2003.html#CobleighGP03},\n volume = 2619,\n year = 2003\n}\n\n","author_short":["Cobleigh, J. M.","Giannakopoulou, D.","Pasareanu, C. S."],"editor_short":["Garavel, H.","Hatcliff, J."],"key":"conf/tacas/CobleighGP03","id":"conf/tacas/CobleighGP03","bibbaseid":"cobleigh-giannakopoulou-pasareanu-learningassumptionsforcompositionalverification-2003","role":"author","urls":{"Link":"https://doi.org/10.1007/3-540-36577-X_24","Paper":"http://dblp.uni-trier.de/db/conf/tacas/tacas2003.html#CobleighGP03"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.285Z","downloads":0,"keywords":["dblp"],"search_terms":["learning","assumptions","compositional","verification","cobleigh","giannakopoulou","pasareanu"],"title":"Learning Assumptions for Compositional Verification.","year":2003,"dataSources":["nk4Sfi2ddzBtdLpRN"]}