LINK

MaRDI QIDQ14898swMATHFDO

Official website http://www.springerlink.com/content/qja1ajbflrh2h9a4/

Cited in

(3)

• WorkflowFM: a logic-based framework for formal process specification and composition
• JGraph
• WorkflowFM

This page was built for software: LINK