Cover is for reference only

Hybrid systems III：verification and control

Saved in:
Bibliographic Details
Corporate Authors: DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems (1995 Rutgers University) (Rutgers University))
Group Author: Alur Rajeev, 1966-; Henzinger T. A.; (Thomas A.); Sontag Eduardo D.
Published: Springer,
Publisher Address: Berlin
Publication Dates: c1996.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 1066
Subjects:
Hybrid computers > Congresses.
Digital control systems > Congresses.
Carrier Form: ix, 618 p.: ill. ; 24 cm.
ISBN: 354061155X (alk. paper)
Index Number: TP393
CLC: TP393-532
Call Number: TP393-532/H992/1995/
Contents: "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.
Includes bibliographical references and index.

Related Book Recommendations