Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes.

Kais Klai, Samir Tata, Jrg Desel

Browse the full BPM paper archive.