| Shelfclass_id | 6.D |
| Sortkey | ALUR, RAJEEV |
| Authors | Editors: Rajeev Alur, Thomas A. Henziner, Eduardo D. Sontag, Thomas. A Henzinger, Eduardo D Sontag |
| Title | Hybrid Systems III: Verification and Control |
| Publisher | Springer |
| Year | 1996 |
| Languages | eng |
| Isbn | 354061155X |
| Series | Lecture Notes in Computer Science |
| Volume | 1066 |
| Issn | 0302-9743 |
| Description | ix, 618 p. ill. 24 cm. |
| Record date | 20110503 |
| Location | New York |
| Keywords | Hybrid computers, Congresses, Digital control systems |
| Notes | "Proceedings of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, organized October 22-25, 1995 at Rutgers University, New Brunswick, New Jersey"--Pref. |
| Urlnote | Publisher description |
| Urls | http://www.loc.gov/catdir/enhancements/fy0815/96016989-d.html |