Communication Dans Un Congrès
Année : 2011
Amélie Stainer : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00629172
Soumis le : mercredi 5 octobre 2011-11:57:11
Dernière modification le : vendredi 24 mars 2023-14:52:54
Dates et versions
Identifiants
- HAL Id : inria-00629172 , version 1
Citer
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⟩
Collections
46
Consultations
0
Téléchargements