Pages that link to "Item:Q685609"
From MaRDI portal
The following pages link to Embedding time granularity in a logical specification language for synchronous real-time systems (Q685609):
Displaying 5 items.
- A timeband framework for modelling real-time systems (Q987537) (← links)
- Two-sorted metric temporal logics (Q1391098) (← links)
- Decidability results for metric and layered temporal logics (Q1815429) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- Completeness results for two-sorted metric temporal logics (Q5096398) (← links)
