Sciweavers

Share
ICWS
2004
IEEE

Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes

9 years 7 months ago
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis,
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2004
Where ICWS
Authors Ziyang Duan, Arthur J. Bernstein, Philip M. Lewis, Shiyong Lu
Comments (0)
books