Book 2009

Verification and Control of Hybrid Systems

A Symbolic Approach

Authors:

ISBN: 978-1-4419-0223-8 (Print) 978-1-4419-0224-5 (Online)