Hybrid Systems III: Verification and Control

By Rajeev Alur

This reference book documents the scientific outcome of the DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, held at Rutgers University in New Brunswick, NJ, in October 1995. A... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 354061155X
• ISBN13: 9783540611554
• Release Date: April 1996
• Publisher: Springer
• Length: 619 Pages
• Weight: 1.93 lbs.
• Dimensions: 1.3" x 6.1" x 9.2"