External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Flow*: An Analyzer for Non-linear Hybrid Systems

Xin Chen 0002, Erika Ábrahám, Sriram Sankaranarayanan. Flow*: An Analyzer for Non-linear Hybrid Systems. In Natasha Sharygina, Helmut Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Volume 8044 of Lecture Notes in Computer Science, pages 258-263, Springer, 2013. [doi]

Authors

Xin Chen 0002

This author has not been identified. Look up 'Xin Chen 0002' in Google

Erika Ábrahám

This author has not been identified. Look up 'Erika Ábrahám' in Google

Sriram Sankaranarayanan

This author has not been identified. It may be one of the following persons: Look up 'Sriram Sankaranarayanan' in Google
runs on