Publications

Filters: Author is Fernando Villar [Clear All Filters]

2014

G. Regis, F. Villar, and N. Ricci, “Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties”, in Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013., 2014.

WorkflowAnalyser.pdf (245.34 KB)