| 000 | 01350nam|a2200313 0 4500 | ||
|---|---|---|---|
| 005 | 20260818134004.0 | ||
| 008 | 050126s1996 gw r 0000|0 eng d | ||
| 020 | _a354061155X | ||
| 035 | _a.b1149010x | ||
| 050 | 0 | 0 |
_aQA76.38 _bH94 1996 |
| 245 | 0 | 0 |
_aHybrid systems III : _bverification and control / _cRajeev Alur, Thomas A. Henzinger and Eduardo D. Sontag, eds. |
| 260 |
_aBerlin : _bSpringer, _c1996 |
||
| 300 | _a618 p. | ||
| 440 | 0 |
_aLecture notes in computer science ; _vv. 1066 |
|
| 500 | _aThe proceedings of the DIMACS/Sycon Workshop on Verification and Control of Hybrid Systems, organized October 22-25, 1995 at Rutgers University in New Brunswick, New Jersey | ||
| 650 | 0 |
_aHybrid computers _xCongresses |
|
| 650 | 0 |
_aDigital control systems _xCongresses |
|
| 700 | 1 |
_aAlur, Rajeev, _d1966- , _eed. |
|
| 700 | 1 |
_aHenzinger, Thomas A., _eed. |
|
| 700 | 1 |
_aSontag, Eduardo D., _eed. |
|
| 711 | 2 |
_aDIMACS/Sycon Workshop on Verification and Control of Hybrid Systems _d(1995 : _cRutgers University) |
|
| 907 |
_a.b1149010x _bmngc _c- |
||
| 902 | _a121012 | ||
| 998 |
_b0 _c970203 _dm _ea _f- _g0 |
||
| 945 | _lmngc | ||
| 942 | _c14 | ||
| 909 |
_aBarcode : 30050004048699 _bCREATED : 1997-03-02 _cRECORD # : i11900386 _dLPATRON : 0 _eLCHKIN : - _f# RENEWALS : 0 _g# OVERDUE : 0 _hIUSE3 : 0 _iTOT CHKOUT : 0 _jTOT RENEW : 0 |
||
| 999 |
_c56727 _d56727 |
||