The following pages link to Régis Gascon (Q959819):
Displaying 8 items.
- Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
- Temporal Logics of Repeating Values (Q3165752) (← links)
- The Effects of Bounding Syntactic Resources on Presburger LTL (Q3656780) (← links)
- An Automata-based Approach for CTL⋆ With Constraints (Q5179062) (← links)
- Branching-Time Temporal Logic Extended with Qualitative Presburger Constraints (Q5387893) (← links)
- A Decidable Temporal Logic of Repeating Values (Q5434506) (← links)
- Programming Languages and Systems (Q5493388) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897505) (← links)
