%0 Conference Paper %1 conf/tgc/BravettiLZ08 %A Bravetti, Mario %A Lanese, Ivan %A Zavattaro, Gianluigi %B TGC %D 2008 %E Kaklamanis, Christos %E Nielson, Flemming %I Springer %K dblp %P 1-18 %T Contract-Driven Implementation of Choreographies. %U http://dblp.uni-trier.de/db/conf/tgc/tgc2008.html#BravettiLZ08 %V 5474 %@ 978-3-642-00944-0

@inproceedings{conf/tgc/BravettiLZ08, added-at = {2017-06-05T00:00:00.000+0200}, author = {Bravetti, Mario and Lanese, Ivan and Zavattaro, Gianluigi}, biburl = {https://www.bibsonomy.org/bibtex/2006fe2def651bd98c9ffceeeec8cf12c/dblp}, booktitle = {TGC}, crossref = {conf/tgc/2008}, editor = {Kaklamanis, Christos and Nielson, Flemming}, ee = {https://doi.org/10.1007/978-3-642-00945-7_1}, interhash = {549aefa339991f6a09421fa8d0c93413}, intrahash = {006fe2def651bd98c9ffceeeec8cf12c}, isbn = {978-3-642-00944-0}, keywords = {dblp}, pages = {1-18}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:18:26.000+0200}, title = {Contract-Driven Implementation of Choreographies.}, url = {http://dblp.uni-trier.de/db/conf/tgc/tgc2008.html#BravettiLZ08}, volume = 5474, year = 2008 }