Sciweavers

Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes
Recent Google, Yahoo, MSN search queries leading to this post
Symbolic Abstraction and Deadlock-Freeness Verification of Inter-enterprise Processes