Pages that link to "Item:Q5709993"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing - ICTAC 2004 (Q5709993):
Displaying 6 items.
- Causality problem in real-time calculus (Q346787) (← links)
- A calculus of durations (Q1183485) (← links)
- Duration calculus: Logical foundations (Q1377324) (← links)
- Duration calculus. A formal approach to real-time systems. (Q1428351) (← links)
- Towards Modelling Obligations in Event-B (Q3535374) (← links)
- Formal Methods at the Crossroads. From Panacea to Foundational Support (Q5900548) (← links)