Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleTheory of Reals for Verification and Synthesis of Hybrid Dynamical Systems
Author(s) Ashish Tiwari
TypeArticle in Conference Proceedings
Keywordshybrid dynamical systems, theory of reals
ISBN978-1-4503-0150-3
URL http://doi.acm.org/10.1145/1837934.1837938
LanguageEnglish
SeriesISSAC
Pages5--6
PublisherACM
AddressNew York, NY, USA
Year2010
Edition0
Translation No
Refereed No
Webmaster