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)