An approach and a tool for verification of service-based inter-organizational workflows.

Sada Boukhedouma, Maroua Zergui, Zaia Alimazighi

Browse the full RCIS paper archive.