Pages that link to "Item:Q3613348"
From MaRDI portal
The following pages link to Infinite State Model-Checking of Propositional Dynamic Logics (Q3613348):
Displayed 4 items.
- Extending propositional dynamic logic for Petri nets (Q281154) (← links)
- Connectivity games over dynamic networks (Q391110) (← links)
- A calculus for automatic verification of Petri nets based on resolution and dynamic logics (Q530854) (← links)
- PDL with intersection and converse: satisfiability and infinite-state model checking (Q3616354) (← links)