Verification and control of hybrid systems : a symbolic approach /

Bibliographic Details
Main Author: Tabuada, Paulo
Format: Book
Language:English
Published: New York : Springer, c2010.
Subjects: