Removing All Silent Transitions from Timed Automata

Abstract : no abstract
Type de document :
Communication dans un congrès
Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings, 2009, Unknown, Unknown Region. pp.118--132, 2009, 〈10.1007/978-3-642-04368-0_11〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01699953
Contributeur : Catalin Dima <>
Soumis le : vendredi 2 février 2018 - 22:52:30
Dernière modification le : samedi 3 février 2018 - 01:11:57

Lien texte intégral

Identifiants

Collections

Citation

Catalin Dima, Ruggero Lanotte. Removing All Silent Transitions from Timed Automata. Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings, 2009, Unknown, Unknown Region. pp.118--132, 2009, 〈10.1007/978-3-642-04368-0_11〉. 〈hal-01699953〉

Partager

Métriques

Consultations de la notice

19