Paulo Tabuada: Verification and Control of Hybrid Systems: A Symbolic Approach
____________________________
Author: Paulo Tabuada
Number of Pages: 202 pages
Published Date: 05 Nov 2010
Publisher: Springer-Verlag New York Inc.
Publication Country: New York, NY, United States
Language: English
ISBN: 9781441954985
Download Link: Click Here
____________________________