# Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions

> Research article (2019 19th International Conference on Application of Concurrency to System Design (ACSD), 2019) · cited 22× · AI/ML

**Wikidata**: [openalex:W2973487154](https://www.wikidata.org/wiki/openalex:W2973487154)  
**Source**: https://4ort.xyz/entity/soundness-verification-of-decision-aware-process-models-with-variable-to-variable-conditions
