Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties
| Title | Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Regis, G, Villar, F, Ricci, N |
| Conference Name | Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013. |
| URL | http://dx.doi.org/10.4204/EPTCS.139.4 |
| DOI | 10.4204/EPTCS.139.4 |
PDF (Full text):
Work Package:
WP5
