Login / Signup

Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis.

Simon MoserAxel MartensKatharina GörlachWolfram AmmeArtur Godlinski
Published in: IEEE SCC (2007)
Keyphrases