@Inproceedings{BauerHW10,
   status = {private},
   task = {T5.1},
   publisher = {Springer Berlin / Heidelberg},
   booktitle = {Recent Trends in Algebraic Development Techniques},
   joint-pub = {false},
   series = {Lecture Notes in Computer Science},
   reported = {year1},
   year = {2012},
   isbn = {978-3-642-28411-3},
   invited = {yes},
   timestamp = {2012.10.18},
   volume = {7137},
   main = {no},
   affiliation = {Ludwig-Maximilians-Universit\"at, M\"unchen, Germany},
   title = {{Building a Modal Interface Theory for Concurrency and Data}},
   editor = {Till Mossakowski and Hans-J\"org Kreowski},
   author = {Sebastian Bauer and Rolf Hennicker and Martin Wirsing},
   period = {year1},
   keyword = {Computer Science},
   owner = {kroiss},
   accessible = {true},
   partner = {LMU},
   ascens_ref = {true},
   wp = {WP5},
   pages = {1-12}
}