Logical Analysis of Hybrid Systems
Subtitle: Proving Theorems for Complex Dynamics
Publisher: Springer
Published: Nov 28, 2014
Format: paperback
Number of pages: 456
ISBN-13: 9783642444746
Notes: Source title: Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics