A Nonarchimedian Discretization for Timed Languages - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

A Nonarchimedian Discretization for Timed Languages

Résumé

no abstract

Dates et versions

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

Identifiants

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⟩

Collections

CNRS LACL UPEC
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More