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.

Symbolic Optimal Reachability in Weighted Timed Automata

Patricia Bouyer, Maximilien Colange, Nicolas Markey. Symbolic Optimal Reachability in Weighted Timed Automata. In Swarat Chaudhuri, Azadeh Farzan, editors, Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Volume 9779 of Lecture Notes in Computer Science, pages 513-530, Springer, 2016. [doi]

Authors

Patricia Bouyer

This author has not been identified. Look up 'Patricia Bouyer' in Google

Maximilien Colange

This author has not been identified. Look up 'Maximilien Colange' in Google

Nicolas Markey

This author has not been identified. Look up 'Nicolas Markey' in Google
runs on