The following pages link to (Q4435847):
Displayed 5 items.
- Information flow analysis of scientific workflows (Q980980) (← links)
- Automatic workflow verification and generation (Q2368986) (← links)
- Reduction of Workflow Nets for Generalised Soundness Verification (Q2961558) (← links)
- Constraint Solving for Verifying Modal Specifications of Workflow Nets with Data (Q3179169) (← links)
- A new approach to development of composite Web Services (Q5291147) (← links)