The following pages link to Computing Stuttering Simulations (Q3184698):
Displaying 5 items.
- Game-theoretic simulation checking tool (Q764005) (← links)
- Investigating single-type structural elements of a component Petri net during component modeling and analysis of a complex system with parallelism (Q2263225) (← links)
- The stuttering principle revisited (Q2484066) (← links)
- Algebraic stuttering simulations (Q2871852) (← links)
- Cooking Your Own Parity Game Preorders Through Matching Plays (Q3177339) (← links)