Beyond Soundness: On the Verification of Semantic Business Process Models

Publikation: Wissenschaftliche Fachzeitschrift › Originalbeitrag in Fachzeitschrift › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	271 - 343
Fachzeitschrift	Distributed and Parallel Databases
Jahrgang	27
Ausgabenummer	3
Publikationsstatus	Veröffentlicht - 1 Dez. 2010

Österreichische Systematik der Wissenschaftszweige (Ö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 -