Pages that link to "Item:Q5505616"

The following pages link to Verification of Linear Duration Invariants by Model Checking CTL Properties (Q5505616):

Displaying 2 items.

• A practical approach to model checking duration calculus using Presburger arithmetic (Q2251131) (← links)
• Checking Integral Real-Time Automata for Extended Linear Duration Invariants (Q3460214) (← links)