Publications

Export 1 results:
Sort by: Author Title Type [ Year (Desc)]
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.PDF icon WorkflowAnalyser.pdf (245.34 KB)