Cited in
(11)- SMT-based verification of data-aware processes: a model-theoretic approach
- YAWL
- ASASP
- Mcmt
- Cubicle
- SAFARI
- Booster
- mist
- Model completeness, uniform interpolants and superposition calculus. (With applications to verification of data-aware processes)
- From model completeness to verification of data aware processes
- A Non-Deterministic Multiset Query Language
This page was built for software: VERIFAS
