Pages that link to "Item:Q4669652"
From MaRDI portal
The following pages link to Temporalized logics and automata for time granularity (Q4669652):
Displaying 5 items.
- Compact and tractable automaton-based representations of time granularities (Q875518) (← links)
- A timeband framework for modelling real-time systems (Q987537) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- Definability and decidability of binary predicates for time granularity (Q2495389) (← links)
- On the relationships between theories of time granularity and the monadic second-order theory of one successor (Q3647247) (← links)
