Beyond Soundness: On the Verification of Semantic Business Process Models

Ingo Weber, Jörg Hoffmann, Jan Mendling

Publication: Scientific journal › Journal article › peer-review

Original language	English
Pages (from-to)	271 - 343
Journal	Distributed and Parallel Databases
Volume	27
Issue number	3
Publication status	Published - 1 Dec 2010

Austrian Classification of Fields of Science and Technology (ÖFOS)

@article{84fc2907bffc45bf847f902522d04ba9,

title = "Beyond Soundness: On the Verification of Semantic Business Process Models",

author = "Ingo Weber and J{\"o}rg Hoffmann and Jan Mendling",

year = "2010",

month = dec,

day = "1",

language = "English",

volume = "27",

pages = "271 -- 343",

journal = "Distributed and Parallel Databases",

issn = "0926-8782",

publisher = "Springer Netherlands",

number = "3",

}

TY - JOUR

T1 - Beyond Soundness: On the Verification of Semantic Business Process Models

AU - Weber, Ingo

AU - Hoffmann, Jörg

AU - Mendling, Jan

PY - 2010/12/1

Y1 - 2010/12/1

UR - http://www.mendling.com/publications/DPD10-semantic-verification.pdf

M3 - Journal article

SN - 0926-8782

VL - 27

SP - 271

EP - 343

JO - Distributed and Parallel Databases

JF - Distributed and Parallel Databases

IS - 3

ER -