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, 2003,
〈10.1007/978-3-540-40903-8_14〉.
〈hal-01699967〉 
