Publication | Closed Access
Lower and upper bounds in zone-based abstractions of timed automata
120
Citations
9
References
2005
Year
Logical AutomatonEngineeringAutomated ReasoningVerificationFormal MethodsPushdown AutomatonAutomaton NetworkComputational ComplexityAutomaton OperationComputer ScienceTimed SystemFormal VerificationTimed Automata
| Year | Citations | |
|---|---|---|
Page 1
Page 1