Concepedia
Publication | Closed Access
A theory of timed automata
6.4K
Citations
40
References
1994
Year
EngineeringFormal MethodsAutomaton NetworkAutomaton OperationComputer ScienceTimed SystemFormal Verification
Page 1