Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs.

Kais Klai, Jrg Desel

Browse the full FORTE paper archive.