A Bottom-Up Approach to Check the Correctness of Interorganisational Workflows.

Kais Klai, Hanen Ochi

Browse the full TASE paper archive.