Pages that link to "Item:Q5703773"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703773):
Displaying 15 items.
- Context-aware counter abstraction (Q600978) (← links)
- A lazy approach to symmetry reduction (Q613132) (← links)
- On the constructive orbit problem (Q976988) (← links)
- Checking extended CTL properties using guarded quotient structures (Q2461558) (← links)
- Efficient reduction techniques for systems with many components (Q2848460) (← links)
- A coalgebraic representation of reduction by cone of influence (Q2863901) (← links)
- Families of symmetries as efficient models of resource binding (Q2919450) (← links)
- ExplicitPRISMSymm: Symmetry Reduction Technique for Explicit Models in PRISM (Q2948486) (← links)
- (Q3148942) (← links)
- Symmetric Reductions (Q3158302) (← links)
- Vector Symmetry Reduction (Q5178970) (← links)
- Extending Symmetry Reduction Techniques to a Realistic Model of Computation (Q5178995) (← links)
- Computer Aided Verification (Q5716543) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5717501) (← links)
- Symbolic observation graph-based generation of test paths (Q6535332) (← links)