Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows
| Title | Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Regis, G, Ricci, N, Aguirre, N, Maibaum, TSE |
| Conference Name | Formal Methods: Foundations and Applications - 15th Brazilian Symposium, {SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings |
| URL | http://dx.doi.org/10.1007/978-3-642-33296-8_12 |
| DOI | 10.1007/978-3-642-33296-8_12 |
PDF (Full text):
Work Package:
WP5
