Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties

TitleFluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties
Publication TypeConference Paper
Year of Publication2014
AuthorsRegis, G, Villar, F, Ricci, N
Conference NameProceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013.
URLhttp://dx.doi.org/10.4204/EPTCS.139.4
DOI10.4204/EPTCS.139.4
PDF (Full text): 
Work Package: 
WP5