@Inproceedings{tgc2013,
   joint-pub = {false},
   status = {public},
   task = {T5.2},
   publisher = {Springer},
   booktitle = {Trustworthy Global Computing},
   series = {LNCS},
   year = {2013},
   invited = {no},
   timestamp = {2013.11.07},
   main = {no},
   accessible = {true},
   title = {{Specification of Asynchronous Component Systems with Modal I/O-Petri Nets}},
   editor = {Martin Abadi and Alberto Lluch Lafuente},
   author = {Serge Haddad and Rolf Hennicker and Mikael H. M{\o}ller},
   period = {year3},
   owner = {kroiss},
   ascens_ref = {true},
   partner = {LMU},
   wp = {wp5}
}