Pages that link to "Item:Q1996867"
From MaRDI portal
The following pages link to Semantics of temporal constrained objects (Q1996867):
Displaying 5 items.
- Semantic domains of timed event structures (Q840017) (← links)
- Order-sorted model theory for temporal executable specifications (Q1391744) (← links)
- Semantics of temporal classes (Q1854386) (← links)
- Linear time-dependent constraints programming with MSVL (Q2015809) (← links)
- On the semantics of durational actions (Q5958612) (← links)