Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Amélie Stainer
Frequencies in Forgetful Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Robustness in Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fuzzy-Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Discrete Timed Automata
Timed Unfoldings for Networks of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Robust Safety of Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Action Transducers and Timed Automata
Pumping Lemmas for Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Action Transducers and Timed Automata
Formal Aspects of Computing
Theoretical Computer Science
Software
Liveness in L/U-Parametric Timed Automata
