Pages that link to "Item:Q5025032"
From MaRDI portal
The following pages link to Soundness Verification of Data-Aware Process Models with Variable-to-Variable Conditions (Q5025032):
Displaying 4 items.
- Combination of uniform interpolants via Beth definability (Q2090132) (← links)
- CTL* model checking for data-aware dynamic systems with arithmetic (Q2104496) (← links)
- Data and process resonance. Identifier soundness for models of information systems (Q2165251) (← links)
- Verification of data-aware process models: checking soundness of Data Petri nets (Q6197587) (← links)