Verification of Hybrid Systems using Abstractions (1994)

Cached

Download Links

by Anuj Puri , Pravin Varaiya
Venue:In Panos Antsaklis, Wolf Kohn, Anil Nerode, and Shankar Shastry, editors, Hybrid Systems II, volume 999 of Lecture Notes in Computer Science
Citations:18 - 1 self