Return to Article Details WS-BPEL-modification of TLC-verification method Download Download PDF