Pages that link to "Item:Q3605458"
From MaRDI portal
The following pages link to Property Specifications for Workflow Modelling (Q3605458):
Displaying 4 items.
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Formalisations and applications of BPMN (Q541678) (← links)
- Event-driven temporal logic pattern for control software requirements specification (Q2145270) (← links)
- Formal Methods to Improve Public Administration Business Processes (Q2889178) (← links)
