Skip to Main content Skip to Navigation
Conference papers

Emptiness and Universality Problems in Timed Automata with Positive Frequency.

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00629172
Contributor : Amélie Stainer <>
Submitted on : Wednesday, October 5, 2011 - 11:57:11 AM
Last modification on : Tuesday, March 30, 2021 - 12:12:08 PM

Identifiers

  • HAL Id : inria-00629172, version 1

Citation

Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Amélie Stainer. Emptiness and Universality Problems in Timed Automata with Positive Frequency.. 38th International Colloquium on Automata, Languages and Programming (ICALP'11), Jul 2011, Zürich, Switzerland. pp. 246-257. ⟨inria-00629172⟩

Share

Metrics

Record views

155