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.

BProVe: tool support for business process verification

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re 0001, Francesco Tiezzi, Andrea Vandin. BProVe: tool support for business process verification. In Grigore Rosu, Massimiliano Di Penta, Tien N. Nguyen, editors, Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, ASE 2017, Urbana, IL, USA, October 30 - November 03, 2017. pages 937-942, ACM, 2017. [doi]

Authors

Flavio Corradini

This author has not been identified. Look up 'Flavio Corradini' in Google

Fabrizio Fornari

This author has not been identified. Look up 'Fabrizio Fornari' in Google

Andrea Polini

This author has not been identified. Look up 'Andrea Polini' in Google

Barbara Re 0001

This author has not been identified. Look up 'Barbara Re 0001' in Google

Francesco Tiezzi

This author has not been identified. Look up 'Francesco Tiezzi' in Google

Andrea Vandin

This author has not been identified. Look up 'Andrea Vandin' in Google
runs on