Semi-Automated Workflow Synthesis

FERNANDES, A. ; BREITMAN, K.K. ; VIEIRA, T.A.S.C. ; CASANOVA, M. A. ; FURTADO, A.L. . Semi-Automated Workflow Synthesis. In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2006, Paphos, Cyprus. Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Los Alamitos: IEEE Computer Society Press, 2006. p. 332-334.

2006