Formal Techniques for Networked and Distributed Systems - FORTE 2008: Proc./28th IFIP WG 6.1 International Conference. Tokyo, Japan, June 2008

А3.5, Б3.5.

Formal Techniques for Networked and Distributed Systems - FORTE 2008: Proc./28th IFIP WG 6.1 International Conference. Tokyo, Japan, June 2008Ed. by Suzuki K., Higashino T., Yasumoto K., El-Fakih Kh..-Berlin, Heidelberg.: Springer, 2008.-Vol. 5048.-341 p.-(Lecture Notes in Computer Science).