Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Proc./Joint International Conferences FORMATS 2004, and FTRTFT 2004. Grenoble,France,September 2004

А5.15, Б2.23, Б2.22.

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Proc./Joint International Conferences FORMATS 2004, and FTRTFT 2004. Grenoble,France,September 2004Ed. by Lakhnech Y., Yovine S..-Berlin, Heidelberg.: Springer, 2004.-Vol. 3253.-397 p.-(Lecture Notes in Computer Science).