Pages that link to "Item:Q2280185"
From MaRDI portal
The following pages link to Simplification of CTL formulae for efficient model checking of Petri nets (Q2280185):
Displaying 6 items.
- Skeleton abstraction for universal temporal properties (Q2117168) (← links)
- Automata-driven partial order reduction and guided search for LTL model checking (Q2152647) (← links)
- Using approximation for the verification of token-scaling models (Q2163772) (← links)
- Symbolic and Structural Model-Checking (Q5025068) (← links)
- Skeleton Abstraction for Universal Temporal Properties (Q5044401) (← links)
- Structural Reductions Revisited (Q5100759) (← links)
