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)