Publication | Open Access
On the regularization of Zeno hybrid automata
549
Citations
9
References
1999
Year
Mathematical ProgrammingLogical AutomatonEngineeringZeno Hybrid AutomataFormal MethodsPushdown AutomatonAutomaton Operation
| Year | Citations | |
|---|---|---|
Page 1
Page 1