Verification of the SAP reference models using EPC reduction, state-space analysis, and invariants
- B.F. Dongen, van
- , M.H. Jansen-Vullers
- , H.M.W. Verbeek
- , W.M.P. Aalst, van der
Research output: Contribution to journal › Article › Academic › peer-review
76
Link opens in a new tab
Citations
(Scopus)
2
Downloads
(Pure)