Applying model checking to BPEL4WS business collaborations.

Jess Arias-Fisteus, Luis Snchez Fernndez, Carlos Delgado Kloos

Browse the full SAC paper archive.