The following pages link to (Q2723424):
Displayed 7 items.
- Nested antichains for WS1S (Q1733101) (← links)
- An efficient algorithm for computing bisimulation equivalence (Q1884935) (← links)
- Applicability of fair simulation (Q1886036) (← links)
- A space-efficient simulation algorithm on probabilistic automata (Q2629854) (← links)
- Program verification with interacting analysis plugins (Q2642983) (← links)
- A Space-Efficient Probabilistic Simulation Algorithm (Q3541022) (← links)
- Simulation relations and applications in formal methods (Q6113980) (← links)