@Inproceedings{DBLP:conf/ictac/HennickerK11,
   assoc_res = {Alexander Knapp},
   joint-pub = {true},
   status = {public},
   task = {T5.2},
   publisher = {Springer},
   doi = {http://dx.doi.org/10.1007/978-3-642-23283-1_11},
   booktitle = {Theoretical Aspects of Computing - ICTAC 2011 - 8th International Colloquium, Johannesburg, South Africa, August 31 - September 2, 2011. Proceedings},
   series = {Lecture Notes in Computer Science},
   year = {2011},
   invited = {no},
   timestamp = {2012.10.31},
   volume = {6916},
   main = {no},
   accessible = {true},
   title = {{Modal Interface Theories for Communication-Safe Component Assemblies}},
   editor = {Antonio Cerone and Pekka Pihlajasaari},
   author = {Rolf Hennicker and Alexander Knapp},
   ee = {http://dx.doi.org/10.1007/978-3-642-23283-1_11},
   period = {year2},
   owner = {kroiss},
   bibsource = {DBLP, http://dblp.uni-trier.de},
   ascens_ref = {true},
   partner = {LMU},
   wp = {WP5},
   pages = {135-153}
}