On Timed Automata with Input-Determined Guards
- 1 January 2004
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- On Timed Automata with Input-Determined GuardsLecture Notes in Computer Science, 2004
- A Logical Characterisation of Event Clock AutomataInternational Journal of Foundations of Computer Science, 2003
- The regular real-time languagesPublished by Springer Science and Business Media LLC ,1998
- The benefits of relaxing punctualityJournal of the ACM, 1996
- A theory of timed automataTheoretical Computer Science, 1994
- Real-Time Logics: Complexity and ExpressivenessInformation and Computation, 1993
- Specifying real-time properties with metric temporal logicReal-Time Systems, 1990
- On the temporal analysis of fairnessPublished by Association for Computing Machinery (ACM) ,1980
- The temporal logic of programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1977
- Weak Second‐Order Arithmetic and Finite AutomataMathematical Logic Quarterly, 1960