The following pages link to (Q4222871):
Displaying 6 items.
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations (Q1960526) (← links)
- Model checking the full modal mu-calculus for infinite sequential processes (Q1960527) (← links)
- Formal Verification of Object-Oriented Graph Grammars Specifications (Q2867893) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- Model checking the full modal mu-calculus for infinite sequential processes (Q4571973) (← links)
- Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations (Q4571986) (← links)
