Pages that link to "Item:Q3393060"
From MaRDI portal
The following pages link to An intensional approach to qualitative and quantitative periodicity-dependent temporal constraints (Q3393060):
Displaying 4 items.
- A mathematical framework for the semantics of symbolic languages representing periodic time (Q862832) (← links)
- Management of periodic phenomena with exceptions (Q2758315) (← links)
- Interval-Based Timing Constraints Their Satisfactions and Applications (Q4589558) (← links)
- Automated Technology for Verification and Analysis (Q5491870) (← links)