Weber, Ingo, Hoffmann, Jörg, Mendling, Jan. 2010. Beyond Soundness: On the Verification of Semantic Business Process Models. Distributed and Parallel Databases 27 (3): 271-343.
BibTeX
Tags
Press 'enter' for creating the tagPublication's profile
| Status of publication | Published |
|---|---|
| Affiliation | WU |
| Type of publication | Journal article |
| Journal | Distributed and Parallel Databases |
| Citation Index | SCI |
| Language | English |
| Title | Beyond Soundness: On the Verification of Semantic Business Process Models |
| Volume | 27 |
| Number | 3 |
| Year | 2010 |
| Page from | 271 |
| Page to | 343 |
| URL | http://www.mendling.com/publications/DPD10-semantic-verification.pdf |
Associations
- People
- Mendling, Jan (Details)
- External
- Hoffmann, Jörg
- Weber, Ingo
- Organization
- Institute for Data, Process and Knowledge Management (AE Sabou) (Details)
- Research areas (ÖSTAT Classification 'Statistik Austria')
- 5367 Management information systems (Details)