Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows

TitleSpecifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows
Publication TypeConference Paper
Year of Publication2012
AuthorsRegis, G, Ricci, N, Aguirre, N, Maibaum, TSE
Conference NameFormal Methods: Foundations and Applications - 15th Brazilian Symposium, {SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings
URLhttp://dx.doi.org/10.1007/978-3-642-33296-8_12
DOI10.1007/978-3-642-33296-8_12
Work Package: 
WP5