Pages that link to "Item:Q2060741"
From MaRDI portal
The following pages link to A framework for analysing state-abstraction methods (Q2060741):
Displaying 5 items.
- The computational complexity of avoiding spurious states in state space abstraction (Q622104) (← links)
- State trace analysis: what it can and cannot do (Q2154155) (← links)
- Deriving State-Based Implementations of Interactive Components with History Abstractions (Q3401943) (← links)
- Algebraic Methodology and Software Technology (Q5313003) (← links)
- The Spotlight Principle (Q5452606) (← links)