%O Report 
%F hhh2009
%A Hallwyl, Tim
%A Henglein, Fritz
%A Hildebrandt, Thomas
%T Analysis of the {WS-BPEL} 2.0 standard using standard-driven implementation
%N 607
%I Department of Computer Science, University of Copenhagen (DIKU)
%C Sierre, Switzerland
%U http://www.diku.dk/hjemmesider/ansatte/henglein/papers/hallwyl2009.pdf
%8 June
%D 2009