id: 70380438
dt: a
an: 70380438
au: Schroeder, Andreas; Mayer, Philip
ti: Verifying interaction protocol compliance of service orchestrations
so: ICSOC, 545-550 (2008).
py: 2008
pu: 
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-89652-4_44