Verification and Synthesis of Hybrid Systems (Control Engineering)

by: Eugine Asarin · Thao Dang · Oded Maler

Hardcover

ISBN: 978-0-8176-4296-9

ISBN-10: 0-8176-4296-X

Birkhäuser Boston · 2006