The following pages link to (Q3023539):
Displaying 8 items.
- A new model for model checking: cycle-weighted Kripke structure (Q351985) (← links)
- Mu-calculus path checking (Q1045942) (← links)
- Checking simple properties of transition systems defined by Thue specifications (Q1610675) (← links)
- The complexity of model checking multi-stack systems (Q2398213) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- (Q4353562) (← links)
- (Q4472245) (← links)
- The Complexity of Model Checking Multi-stack Systems (Q5271053) (← links)