A Nonarchimedian Discretization for Timed Languages

Abstract : no abstract
Type de document :
Communication dans un congrès
Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers, 2003, Unknown, Unknown Region. pp.168--181, 2003, 〈10.1007/978-3-540-40903-8_14〉
Liste complète des métadonnées

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

Identifiants

Collections

Citation

Catalin Dima. A Nonarchimedian Discretization for Timed Languages. Formal Modeling and Analysis of Timed Systems: First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003. Revised Papers, 2003, Unknown, Unknown Region. pp.168--181, 2003, 〈10.1007/978-3-540-40903-8_14〉. 〈hal-01699967〉

Partager

Métriques

Consultations de la notice

21