Pages that link to "Item:Q3095244"
From MaRDI portal
The following pages link to Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244):
Displaying 5 items.
- A Hilbert-style axiomatisation for equational hybrid logic (Q2255232) (← links)
- Hierarchical hybrid logic (Q2333323) (← links)
- Refinement in hybridised institutions (Q2355385) (← links)
- Hybrid Specification of Reactive Systems: An Institutional Approach (Q3095244) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703992) (← links)