Amanote Research
Register
Sign In
Action Transducers and Timed Automata
doi 10.1007/bfb0084808
Full Text
Open PDF
Abstract
Available in
full text
Date
Unknown
Authors
Frits Vaandrager
Nancy Lynch
Publisher
Springer Berlin Heidelberg
Related search
Action Transducers and Timed Automata
Formal Aspects of Computing
Theoretical Computer Science
Software
Time and Action Lock Freedom Properties for Timed Automata
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
Robustness in Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Frequencies in Forgetful 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
Pumping Lemmas for Timed Automata
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science