The following pages link to (Q4943602):
Displaying 5 items.
- Algorithm for formal verification of business process templates (Q464876) (← links)
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- PDM system implementation based on UML (Q2489607) (← links)
- Merging Hierarchically-Structured Documents in Workflow Systems (Q2873660) (← links)
- Discovery, Verification and Conformance of Workflows with Cancellation (Q3540385) (← links)
