The following pages link to (Q4417919):
Displaying 6 items.
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms (Q1696580) (← links)
- On one application of computations with oracle (Q1758675) (← links)
- Model Checking Parameterised Multi-token Systems via the Composition Method (Q2817946) (← links)
- Model Checking Parameterized Systems (Q3176379) (← links)
- Negotiations and Petri Nets (Q5268429) (← links)
- Verifying Parameterized taDOM+ Lock Managers (Q5448673) (← links)