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.

Emptiness and Universality Problems in Timed Automata with Positive Frequency

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer. Emptiness and Universality Problems in Timed Automata with Positive Frequency. In Luca Aceto, Monika Henzinger, Jiri Sgall, editors, Automata, Languages and Programming - 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II. Volume 6756 of Lecture Notes in Computer Science, pages 246-257, Springer, 2011. [doi]

Authors

Nathalie Bertrand

This author has not been identified. Look up 'Nathalie Bertrand' in Google

Patricia Bouyer

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

Thomas Brihaye

This author has not been identified. Look up 'Thomas Brihaye' in Google

Amélie Stainer

This author has not been identified. Look up 'Amélie Stainer' in Google
runs on