Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

Analysis

von André Platzer

Gebunden

ISBN: 978-3-642-14508-7

ISBN-10: 3-642-14508-6

Springer · 2010