@Inproceedings{DBLP:conf/birthday/BelznerNVW14,
   biburl = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2014futatsugi},
   status = {public},
   link = {http://dx.doi.org/10.1007/978-3-642-54624-2},
   task = {T1.3},
   publisher = {Springer},
   doi = {10.1007/978-3-642-54624-2},
   booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
Futatsugi},
   bibsource = {dblp computer science bibliography, http://dblp.org},
   series = {Lecture Notes in Computer Science},
   year = {2014},
   isbn = {978-3-642-54623-5},
   invited = {no},
   timestamp = {Wed, 09 Apr 2014 10:03:48 +0200},
   volume = {8373},
   main = {no},
   title = {{Reasoning (on) Service Component Ensembles in Rewriting Logic}},
   editor = {Shusaku Iida and Jos{\'{e}} Meseguer and Kazuhiro Ogata},
   author = {Lenz Belzner and Rocco {De Nicola} and Andrea Vandin and Martin Wirsing},
   period = {year4},
   partner = {IMT},
   wp = {WP1},
   pages = {188--211}
}