Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics

More Information

Format: Paperback
Pages: 456
Edition: 2010
Publisher: Springer
Published: 28 Nov 2014
ISBN 10: 3642444741
ISBN 13: 9783642444746