Logical Analysis Of Hybrid Systems Proving Theorems For Complex Dynamics
Publisher: Springer
Published: 2010
ISBN-13: 9783642145087