Pages that link to "Item:Q5709982"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing - ICTAC 2004 (Q5709982):
Displaying 5 items.
- A practical approach to model checking duration calculus using Presburger arithmetic (Q2251131) (← links)
- A survey on temporal logics for specifying and verifying real-time systems (Q2418645) (← links)
- On Verification of Linear Occurrence Properties of Real-Time Systems (Q2873689) (← links)
- Checking Integral Real-Time Automata for Extended Linear Duration Invariants (Q3460214) (← links)
- Verification of Linear Duration Invariants by Model Checking CTL Properties (Q5505616) (← links)
