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.

Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT

Francisco Durán, Camilo Rocha, Gwen Salaün. Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT. In Vlad Rusu, editor, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings. Volume 11152 of Lecture Notes in Computer Science, pages 76-97, Springer, 2018. [doi]

Authors

Francisco Durán

This author has not been identified. It may be one of the following persons: Look up 'Francisco Durán' in Google

Camilo Rocha

This author has not been identified. Look up 'Camilo Rocha' in Google

Gwen Salaün

This author has not been identified. It may be one of the following persons: Look up 'Gwen Salaün' in Google
runs on