A Nonarchimedian Discretization for Timed Languages
Résumé
no abstract
Communication Dans Un Congrès
Année : 2003
Catalin Dima : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01699967
Soumis le : vendredi 2 février 2018-22:53:10
Dernière modification le : vendredi 24 mars 2023-14:53:06
Citer
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, ⟨10.1007/978-3-540-40903-8_14⟩. ⟨hal-01699967⟩
24
Consultations
0
Téléchargements