External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows

Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum. Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows. In Rohit Gheyi, David A. Naumann, editors, Formal Methods: Foundations and Applications - 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Volume 7498 of Lecture Notes in Computer Science, pages 147-162, Springer, 2012. [doi]

Authors

Germán Regis

This author has not been identified. Look up 'Germán Regis' in Google

Nicolás Ricci

This author has not been identified. Look up 'Nicolás Ricci' in Google

Nazareno Aguirre

This author has not been identified. Look up 'Nazareno Aguirre' in Google

T. S. E. Maibaum

This author has not been identified. Look up 'T. S. E. Maibaum' in Google
runs on