TY  - JOUR
TI  - Beyond Soundness: On the Verification of Semantic Business Process Models
AF  - Beyond soundness: on the verification of semantic business
 process models
SP  - 271
EP  - 343
UR  - http://www.mendling.com/publications/DPD10-semantic-verification.pdf
PY  - 2010-12-01
JO  - Distributed and Parallel Databases
AU  - Weber, Ingo 
AU  - Hoffmann, Jörg 
AU  - Mendling, Jan 
ER -