MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Verification of Hybrid Systems." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 210 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Verification of Hybrid Systems using Abstractions  
  • by Anuj Puri, Pravin Varaiya — 1994 — In Panos Antsaklis, Wolf Kohn, Anil Nerode, and Shankar Shastry, editors, Hybrid Systems II, volume 999 of Lecture Notes in Computer Science
  • Verification of Hybrid Systems using Abstractions ? Anuj Puri and Pravin Varaiya Department…
  • Cited by 16 (1 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB