Mendling, Jan. 2009. Empirical Studies in Process Model Verification. LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) 2 208-224.
BibTeX
Tags
Press 'enter' for creating the tagPublication's profile
Status of publication | Published |
---|---|
Affiliation | WU |
Type of publication | Journal article |
Journal | LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) |
Language | English |
Title | Empirical Studies in Process Model Verification |
Volume | 2 |
Year | 2009 |
Page from | 208 |
Page to | 224 |
URL | http://www.mendling.com/publications/ToPNoC-Mendling-final.pdf |
Associations
- People
- Mendling, Jan (Details)
- Organization
- Institute for Data, Process and Knowledge Management (AE Sabou) (Details)
- Research areas (Ă–STAT Classification 'Statistik Austria')
- 5367 Management information systems (Details)