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 .
<br/><br/> 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 
<br/><br/><label>ISBN: </label>354061155X 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Hybrid computers--Congresses<br/>Digital control systems--Congresses
<br/><br/><label>LC Class. No.: </label>QA76.38  / H94 1996