@Inproceedings{BauerLLNW11,
   status = {public},
   task = {T5.1},
   publisher = {Springer Verlag},
   booktitle = {Proceedings of FACS 2011, 8th International Symposium on Formal Aspects of Component Software},
   joint-pub = {false},
   series = {LNCS},
   reported = {year1},
   year = {2011},
   invited = {no},
   timestamp = {2012.10.31},
   main = {no},
   note = {To appear},
   title = {{A Modal Specification Theory for Components with Data}},
   editor = {Farhad Arbab and Peter Csaba {\"O}lveczky},
   author = {Sebastian S. Bauer and Kim G. Larsen and Axel Legay and Ulrik Nyman and Andrzej Wasowski},
   period = {year1},
   owner = {kroiss},
   accessible = {true},
   partner = {LMU},
   ascens_ref = {true},
   wp = {WP5}
}