@Inproceedings{DBLP:conf/etaps/HennickerKW14,
   biburl = {http://dblp.uni-trier.de/rec/bib/conf/etaps/HennickerKW14},
   status = {public},
   link = {http://dx.doi.org/10.1007/978-3-642-54848-2_10},
   task = {T2.3},
   publisher = {Springer},
   doi = {10.1007/978-3-642-54848-2_10},
   booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings},
   bibsource = {dblp computer science bibliography, http://dblp.org},
   series = {Lecture Notes in Computer Science},
   year = {2014},
   invited = {yes},
   timestamp = {Thu, 10 Jul 2014 13:36:19 +0200},
   volume = {8415},
   main = {no},
   title = {{Assembly Theories for Communication-Safe Component Systems}},
   editor = {Saddek Bensalem and Yassine Lakhneck and Axel Legay},
   author = {Rolf Hennicker and Alexander Knapp and Martin Wirsing},
   period = {year4},
   partner = {LMU},
   assoc_res = {Alexander Knapp},
   wp = {wp2},
   pages = {145--160}
}