Pages that link to "Item:Q2947222"
From MaRDI portal
The following pages link to Inductive Invariant Checking with Partial Negative Application Conditions (Q2947222):
Displaying 3 items.
- Constructing optimized constraint-preserving application conditions for model transformation rules (Q780069) (← links)
- A tale of two graph models: a case study in wireless sensor networks (Q2065559) (← links)
- Inductive Invariant Checking with Partial Negative Application Conditions (Q2947222) (← links)
