Emptiness and Universality Problems in Timed Automata with Positive Frequency.

Type de document :
Communication dans un congrès
38th International Colloquium on Automata, Languages and Programming (ICALP'11), Jul 2011, Zürich, Switzerland. Springer, 6756, pp. 246-257, 2011, LNCS
Liste complète des métadonnées

https://hal.inria.fr/inria-00629172
Contributeur : Amélie Stainer <>
Soumis le : mercredi 5 octobre 2011 - 11:57:11
Dernière modification le : mercredi 11 avril 2018 - 01:51:45

Identifiants

  • HAL Id : inria-00629172, version 1

Collections

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. Springer, 6756, pp. 246-257, 2011, LNCS. 〈inria-00629172〉

Partager

Métriques

Consultations de la notice

96