TY  - RPRT
TI  - A System for Deduction-based Formal Verification of Workflow-oriented Software Models
AU  - Radoslaw Klimek
PY  - 2014
DO  - 10.2478/amcs-2014-0069
UR  - https://arxiv.org/abs/1402.1978
ID  - 1402.1978
ER  -