Original language | English |
---|---|
Title of host publication | Hybrid Systems: Computation and Control |
Editors | R. Alur, G.J. Pappas |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 80-94 |
Publication status | Published - 2004 |
Publication series
Name | Lecture Notes in Computer Science |
---|