The following pages link to (Q4484483):
Displayed 11 items.
- Game-theoretic simulation checking tool (Q764005) (← links)
- Multi-buffer simulations: decidability and complexity (Q1784963) (← links)
- Matching in security-by-contract for mobile code (Q2390033) (← links)
- Büchi Automata Can Have Smaller Quotients (Q3012925) (← links)
- Advanced Ramsey-Based Büchi Automata Inclusion Testing (Q3090830) (← links)
- Width of Non-deterministic Automata (Q3304146) (← links)
- Topological Characterisation of Multi-Buffer Simulation (Q4989168) (← links)
- (Q5015280) (← links)
- Büchi Good-for-Games Automata Are Efficiently Recognizable (Q5090951) (← links)
- (Q5207047) (← links)
- Simulation relations and applications in formal methods (Q6113980) (← links)