| Original language | English |
|---|---|
| Place of Publication | Brisbane, Australia |
| Publisher | Queensland University of Technology |
| Number of pages | 25 |
| Publication status | Published - 2007 |
Publication series
| Name | Technical Report Preprint |
|---|---|
| Volume | 5969 |
Formal semantics and automated analysis of BPMN process models
R.M. Dijkman, M. Dumas, C. Ouyang
Research output: Book/Report › Report › Academic
187
Downloads
(Pure)