01350nam|a2200313 0 4500 20260818134004.0 050126s1996 gw r 0000|0 eng d 354061155X .b1149010x QA76.38 H94 1996 Hybrid systems III : verification and control / Rajeev Alur, Thomas A. Henzinger and Eduardo D. Sontag, eds. Berlin : Springer, 1996 618 p. Lecture notes in computer science ; v. 1066 The 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 Hybrid computers Congresses Digital control systems Congresses Alur, Rajeev, 1966- , ed. Henzinger, Thomas A., ed. Sontag, Eduardo D., ed. DIMACS/Sycon Workshop on Verification and Control of Hybrid Systems (1995 : Rutgers University) .b1149010x mngc - 121012 0 970203 m a - 0 mngc 14 Barcode : 30050004048699 CREATED : 1997-03-02 RECORD # : i11900386 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 56727 56727 0 0 0 0 MAIN MAIN mngc 2026-08-18 0 QA76.38 H94 1996 30050004048699 2026-08-18 13:40:04 1 2026-08-18 14