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⟩ 
