Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Paolo Felli, Massimiliano de Leoni, Marco Montali. Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions. In 19th International Conference on Application of Concurrency to System Design, ACSD 2019, Aachen, Germany, June 23-28, 2019. pages 82-91, IEEE, 2019. [doi]

This author has not been identified. Look up 'Paolo Felli' in GoogleThis author has not been identified. Look up 'Massimiliano de Leoni' in GoogleThis author has not been identified. Look up 'Marco Montali' in Google

runs on WebDSL