Empirical Studies in Process Model Verification

Publication: Scientific journal › Journal article › peer-review

Original language	English
Pages (from-to)	208 - 224
Journal	LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC)
Volume	2
Publication status	Published - 1 Dec 2009

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

TY - JOUR

T1 - Empirical Studies in Process Model Verification

AU - Mendling, Jan

PY - 2009/12/1

Y1 - 2009/12/1

UR - http://www.mendling.com/publications/ToPNoC-Mendling-final.pdf

M3 - Journal article

SN - 1867-7193

VL - 2

SP - 208

EP - 224

JO - LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC)

JF - LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC)

ER -