Article,
A Theory of Timed Automata.
Theor. Comput. Sci., 126 (2): 183-235 (1994)
Meta data
Tags
- 1994
- acceptance
- algorithm
- animation
- automata
- boolean
- buchi
- clocks
- closure
- conditions
- constraints
- dblp
- decision
- finite
- finitely
- formal
- functions
- graphs
- imported
- inclusion
- infinite
- informatik
- interaction
- intersection
- language
- languages
- many
- muller
- operations
- problem
- problems
- properties
- pspace
- real-time
- real-valued
- sequences
- state-transition
- subclasses
- systems
- theory
- timed
- timing
- union
- universality
