Formal modeling and analysis of timed systems 4th international conference, FORMATS 2006, Paris, France, September 25-27, 2006 : proceedings
FORMATS 2006 (2006 Paris, France) E. A Asarin (Evgeni i Aleksandrovich); Patricia Bouyer 1976
Berlin Springer New York 2006
Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.4202 ) and other locations(GetIt)