Using AToM3 for the Verification of Workflow Applications.

Leila Jemni Ben Ayed, Ahlem Ben Younes, Amin Ben Brahim Achouri

Browse the full ICSoft paper archive.