@inproceedings{journals/corr/GiannakopoulouP13,
  added-at = {2018-09-12T00:00:00.000+0200},
  author = {Giannakopoulou, Dimitra and Pasareanu, Corina S.},
  biburl = {https://www.bibsonomy.org/bibtex/21bb2a8ad6c37d53005c1b881a47e02d0/dblp},
  booktitle = {Festschrift for Dave Schmidt},
  crossref = {journals/corr/BanerjeeDDH13},
  editor = {Banerjee, Anindya and Danvy, Olivier and Doh, Kyung-Goo and Hatcliff, John},
  ee = {http://arxiv.org/abs/1309.5140},
  interhash = {f2cb635db892992436ae4db0fe7efee5},
  intrahash = {1bb2a8ad6c37d53005c1b881a47e02d0},
  keywords = {dblp},
  pages = {211-228},
  series = {EPTCS},
  timestamp = {2018-09-13T11:40:42.000+0200},
  title = {Abstraction and Learning for Infinite-State Compositional Verification.},
  url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs129.html#GiannakopoulouP13},
  volume = 129,
  year = 2013
}

{"_id":"cXLwf8cYX9i4pX53g","bibbaseid":"giannakopoulou-pasareanu-abstractionandlearningforinfinitestatecompositionalverification-2013","authorIDs":[],"author_short":["Giannakopoulou, D.","Pasareanu, C. S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2018-09-12T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Giannakopoulou"],"firstnames":["Dimitra"],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/21bb2a8ad6c37d53005c1b881a47e02d0/dblp","booktitle":"Festschrift for Dave Schmidt","crossref":"journals/corr/BanerjeeDDH13","editor":[{"propositions":[],"lastnames":["Banerjee"],"firstnames":["Anindya"],"suffixes":[]},{"propositions":[],"lastnames":["Danvy"],"firstnames":["Olivier"],"suffixes":[]},{"propositions":[],"lastnames":["Doh"],"firstnames":["Kyung-Goo"],"suffixes":[]},{"propositions":[],"lastnames":["Hatcliff"],"firstnames":["John"],"suffixes":[]}],"ee":"http://arxiv.org/abs/1309.5140","interhash":"f2cb635db892992436ae4db0fe7efee5","intrahash":"1bb2a8ad6c37d53005c1b881a47e02d0","keywords":"dblp","pages":"211-228","series":"EPTCS","timestamp":"2018-09-13T11:40:42.000+0200","title":"Abstraction and Learning for Infinite-State Compositional Verification.","url":"http://dblp.uni-trier.de/db/series/eptcs/eptcs129.html#GiannakopoulouP13","volume":"129","year":"2013","bibtex":"@inproceedings{journals/corr/GiannakopoulouP13,\n added-at = {2018-09-12T00:00:00.000+0200},\n author = {Giannakopoulou, Dimitra and Pasareanu, Corina S.},\n biburl = {https://www.bibsonomy.org/bibtex/21bb2a8ad6c37d53005c1b881a47e02d0/dblp},\n booktitle = {Festschrift for Dave Schmidt},\n crossref = {journals/corr/BanerjeeDDH13},\n editor = {Banerjee, Anindya and Danvy, Olivier and Doh, Kyung-Goo and Hatcliff, John},\n ee = {http://arxiv.org/abs/1309.5140},\n interhash = {f2cb635db892992436ae4db0fe7efee5},\n intrahash = {1bb2a8ad6c37d53005c1b881a47e02d0},\n keywords = {dblp},\n pages = {211-228},\n series = {EPTCS},\n timestamp = {2018-09-13T11:40:42.000+0200},\n title = {Abstraction and Learning for Infinite-State Compositional Verification.},\n url = {http://dblp.uni-trier.de/db/series/eptcs/eptcs129.html#GiannakopoulouP13},\n volume = 129,\n year = 2013\n}\n\n","author_short":["Giannakopoulou, D.","Pasareanu, C. S."],"editor_short":["Banerjee, A.","Danvy, O.","Doh, K.","Hatcliff, J."],"key":"journals/corr/GiannakopoulouP13","id":"journals/corr/GiannakopoulouP13","bibbaseid":"giannakopoulou-pasareanu-abstractionandlearningforinfinitestatecompositionalverification-2013","role":"author","urls":{"Link":"http://arxiv.org/abs/1309.5140","Paper":"http://dblp.uni-trier.de/db/series/eptcs/eptcs129.html#GiannakopoulouP13"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.156Z","downloads":0,"keywords":["dblp"],"search_terms":["abstraction","learning","infinite","state","compositional","verification","giannakopoulou","pasareanu"],"title":"Abstraction and Learning for Infinite-State Compositional Verification.","year":2013,"dataSources":["nk4Sfi2ddzBtdLpRN"]}