The following pages link to (Q4507820):
Displaying 4 items.
- On stubborn sets in the verification of linear time temporal properties (Q1774568) (← links)
- Model checking with fairness assumptions using PAT (Q2418662) (← links)
- State space analysis of Petri nets with relation-algebraic methods (Q2518607) (← links)
- On-the-fly Emptiness Check of Transition-Based Streett Automata (Q3648699) (← links)