A Nonarchimedian Discretization for Timed Languages - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Fundam. Inform. Année : 2014

A Nonarchimedian Discretization for Timed Languages

Résumé

no abstract
Fichier non déposé

Dates et versions

hal-01699935 , version 1 (02-02-2018)

Identifiants

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⟩

Collections

CNRS LACL UPEC
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More