A Nonarchimedian Discretization for Timed Languages
Résumé
no abstract
Article Dans Une Revue
Fundam. Inform.
Année : 2014
Catalin Dima : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01699935
Soumis le : vendredi 2 février 2018-22:51:33
Dernière modification le : vendredi 24 mars 2023-14:53:06
Citer
Catalin Dima. A Nonarchimedian Discretization for Timed Languages. Fundam. Inform., 2014, 131 (3-4), pp.389--407. ⟨10.3233/FI-2014-1021⟩. ⟨hal-01699935⟩
32
Consultations
0
Téléchargements