The following pages link to (Q2851067):
Displayed 4 items.
- Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates (Q680540) (← links)
- Regular model checking with regular relations (Q2140498) (← links)
- Tree regular model checking: a simulation-based approach (Q2500700) (← links)
- Deadness and how to disprove liveness in hybrid dynamical systems (Q2629097) (← links)