Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Oded Maler
Efficient Verification of Timed Automata Using Dense and Discrete Time Semantics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
‹
1
2
Related publications
Discrete Timed Automata
Verification of Networks of Timed Automata Using mCRL2
2008 IEEE International Symposium on Parallel and Distributed Processing
Advances in Verification of Time Petri Nets and Timed Automata
Studies in Computational Intelligence
Artificial Intelligence
Quantitative Analysis of Real-Time Systems Using Priced Timed Automata
Communications of the ACM
Computer Science
Online Timed Pattern Matching Using Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fuzzy-Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Time and Action Lock Freedom Properties for Timed Automata
Timed Unfoldings for Networks of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient On-The-Fly Emptiness Check for Timed Büchi Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
