The following pages link to (Q4778773):
Displayed 4 items.
- A theory of ultimately periodic languages and automata with an application to time granularity (Q731330) (← links)
- Compact and tractable automaton-based representations of time granularities (Q875518) (← links)
- Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)