The Impressive Power of Stopwatches
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Theoretical Computer Science
Updatable Timed Automata with Additive and Diagonal Constraints
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Off-line test selection with test purposes for non-deterministic timed automata
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Characterization of the Expressive Power of Silent Transitions in Timed Automata
Fundamenta Informaticae
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |