Timed Automata
- 1 January 1999
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 40 references indexed in Scilit:
- Quantitative temporal reasoningPublished by Springer Nature ,2005
- The regular real-time languagesPublished by Springer Nature ,1998
- Computer-aided verificationIEEE Spectrum, 1996
- Automatic symbolic verification of embedded systemsIEEE Transactions on Software Engineering, 1996
- The tool KronosLecture Notes in Computer Science, 1996
- The benefits of relaxing punctualityJournal of the ACM, 1996
- Timing analysis in COSPANPublished by Springer Nature ,1996
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- A theory of timed automataTheoretical Computer Science, 1994
- A really temporal logicJournal of the ACM, 1994