The following pages link to (Q4551159):
Displayed 6 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)
- Verification of programs with half-duplex communication (Q2573635) (← links)
- (Q5240148) (← links)
- Regular model checking: evolution and perspectives (Q6045027) (← links)