Original language | English |
---|---|
Title of host publication | Hybrid Systems |
Subtitle of host publication | Computation and Control (Proceedings of the 7th International Workshop HSCC 2004) |
Editors | R. Alur, G.J. Pappas |
Place of Publication | Berlin |
Publisher | Springer Verlag |
Pages | 250-264 |
Publication status | Published - 2004 |
Publication series
Name | LNCS |
---|---|
Number | 2993 |