@conference {262, title = {Fluent Logic Workflow Analyser: A Tool for The Verification of Workflow Properties}, booktitle = {Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013.}, year = {2014}, doi = {10.4204/EPTCS.139.4}, url = {http://dx.doi.org/10.4204/EPTCS.139.4}, author = {Germ{\'a}n Regis and Fernando Villar and Nicol{\'a}s Ricci} }