Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Myla Archer
Tools for Simplifying Proofs of Properties of Timed Automata: The TAME Template, Theories, and Strategies.
Related publications
Timed Unfoldings for Networks of Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Optimal Strategies in Priced Timed Game Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Time and Action Lock Freedom Properties for Timed Automata
Simplifying Linearizability Proofs With Reduction and Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fuzzy-Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Pumping Lemmas for 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
Discrete Timed Automata
Model Checking for Probabilistic Timed Automata
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
