Verification and Control of Hybrid Systems
Subtitle: A Symbolic Approach
Publisher: Springer
Published: Nov 05, 2010
Format: paperback
Number of pages: 217
ISBN-13: 9781441954985
Notes: Source title: Verification and Control of Hybrid Systems: A Symbolic Approach