Towards a Compositional SPIN. Pasareanu, C. S. & Giannakopoulou, D. In SPIN, volume 3925, of Lecture Notes in Computer Science, pages 234-251, 2006. Springer.
Link
Paper bibtex @inproceedings{conf/spin/PasareanuG06,
added-at = {2017-05-17T00:00:00.000+0200},
author = {Pasareanu, Corina S. and Giannakopoulou, Dimitra},
biburl = {https://www.bibsonomy.org/bibtex/214178168d23bf121e31762a55df53c3d/dblp},
booktitle = {SPIN},
crossref = {conf/spin/2006},
editor = {Valmari, Antti},
ee = {https://doi.org/10.1007/11691617_14},
interhash = {83ecce65703888b472d424638830e320},
intrahash = {14178168d23bf121e31762a55df53c3d},
isbn = {3-540-33102-6},
keywords = {dblp},
pages = {234-251},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T12:05:46.000+0200},
title = {Towards a Compositional SPIN.},
url = {http://dblp.uni-trier.de/db/conf/spin/spin2006.html#PasareanuG06},
volume = 3925,
year = 2006
}
Downloads: 0
{"_id":"GxELZDJu8QsYP2n63","bibbaseid":"pasareanu-giannakopoulou-towardsacompositionalspin-2006","authorIDs":[],"author_short":["Pasareanu, C. S.","Giannakopoulou, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-17T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Giannakopoulou"],"firstnames":["Dimitra"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/214178168d23bf121e31762a55df53c3d/dblp","booktitle":"SPIN","crossref":"conf/spin/2006","editor":[{"propositions":[],"lastnames":["Valmari"],"firstnames":["Antti"],"suffixes":[]}],"ee":"https://doi.org/10.1007/11691617_14","interhash":"83ecce65703888b472d424638830e320","intrahash":"14178168d23bf121e31762a55df53c3d","isbn":"3-540-33102-6","keywords":"dblp","pages":"234-251","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T12:05:46.000+0200","title":"Towards a Compositional SPIN.","url":"http://dblp.uni-trier.de/db/conf/spin/spin2006.html#PasareanuG06","volume":"3925","year":"2006","bibtex":"@inproceedings{conf/spin/PasareanuG06,\n added-at = {2017-05-17T00:00:00.000+0200},\n author = {Pasareanu, Corina S. and Giannakopoulou, Dimitra},\n biburl = {https://www.bibsonomy.org/bibtex/214178168d23bf121e31762a55df53c3d/dblp},\n booktitle = {SPIN},\n crossref = {conf/spin/2006},\n editor = {Valmari, Antti},\n ee = {https://doi.org/10.1007/11691617_14},\n interhash = {83ecce65703888b472d424638830e320},\n intrahash = {14178168d23bf121e31762a55df53c3d},\n isbn = {3-540-33102-6},\n keywords = {dblp},\n pages = {234-251},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T12:05:46.000+0200},\n title = {Towards a Compositional SPIN.},\n url = {http://dblp.uni-trier.de/db/conf/spin/spin2006.html#PasareanuG06},\n volume = 3925,\n year = 2006\n}\n\n","author_short":["Pasareanu, C. S.","Giannakopoulou, D."],"editor_short":["Valmari, A."],"key":"conf/spin/PasareanuG06","id":"conf/spin/PasareanuG06","bibbaseid":"pasareanu-giannakopoulou-towardsacompositionalspin-2006","role":"author","urls":{"Link":"https://doi.org/10.1007/11691617_14","Paper":"http://dblp.uni-trier.de/db/conf/spin/spin2006.html#PasareanuG06"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.325Z","downloads":0,"keywords":["dblp"],"search_terms":["towards","compositional","spin","pasareanu","giannakopoulou"],"title":"Towards a Compositional SPIN.","year":2006,"dataSources":["nk4Sfi2ddzBtdLpRN"]}