Hybrid systems [electronic resource] : computation and control : 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009 : proceedings / Rupak Majumdar, Paulo Tabuada (Eds.).
Saved in:
| Published: |
Berlin ; Heidelberg :
Springer-Verlag,
c2009.
|
|---|---|
| Online Access: | |
| Corporate Authors: | |
| Other Authors: | |
| Series: | Lecture notes in computer science ;
5469. |
| Subjects: | |
| Format: | Electronic Conference Proceeding eBook |
