Abstraction and Learning for Infinite-State Compositional Verification. Giannakopoulou, D. & Pasareanu, C. S. In Banerjee, A., Danvy, O., Doh, K., & Hatcliff, J., editors, Festschrift for Dave Schmidt, volume 129, of EPTCS, pages 211-228, 2013.
Link
Paper bibtex @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
}
Downloads: 0
{"_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"]}