@Inproceedings{MisscelAndPirlo,
   joint-pub = {true},
   status = {public},
   task = {T1.1,T3.4},
   publisher = {Springer},
   doi = {10.1007/978-3-642-54624-2_10},
   booktitle = {Specification, Algebra, and Software: A Festschrift Symposium inHonor of Kokichi Futatsugi (SAS 2014)},
   series = {Lecture Notes in Computer Science},
   year = {2014},
   invited = {yes},
   timestamp = {2013.11.07},
   volume = {8373},
   main = {no},
   accessible = {true},
   title = {Reasoning (on) {S}ervice {C}omponent {E}nsembles in {R}ewriting {L}ogic},
   editor = {Shusaku Iida and Jos\'{e} Meseguer and Kazuhiro Ogata},
   author = {Lenz Belzner and Rocco De Nicola and Andrea Vandin and Martin Wirsing},
   period = {year3},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {LMU,IMT},
   wp = {wp1,wp3,wp5,wp7,wp8},
   pages = {188 - 211}
}