Pages that link to "Item:Q1960527"
From MaRDI portal
The following pages link to Model checking the full modal mu-calculus for infinite sequential processes (Q1960527):
Displaying 6 items.
- A saturation method for the modal \(\mu \)-calculus over pushdown systems (Q532393) (← links)
- Towards the hierarchical verification of reactive systems (Q596025) (← links)
- Model-checking structured context-free languages (Q832277) (← links)
- Automatic verification of recursive procedures with one integer parameter. (Q1401233) (← links)
- Model Checking Procedural Programs (Q3176375) (← links)
- A Branching Time Variant of CaRet (Q5883579) (← links)
