Formal Modeling and Analysis of Timed Systems: Proc./First Intern. Workshop, FORMATS 2003, Marseille, France, September 2003

Б2.2, Б3.5.

Formal Modeling and Analysis of Timed Systems: Proc./First Intern. Workshop, FORMATS 2003, Marseille, France, September 2003Ed. by Larsen K. G., Niebert P..-Berlin, Heidelberg.: Springer, 2004.-Vol. 2791.-281 p.-(Lecture Notes in Computer Science).