Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings

Kenji Suzuki Teruo Higashino Keiichi Yasumoto Khaled El-Fakih Formal Techniques for Networked and Distributed Systems - FORTE 2008, 28th IFIP WG 6.1 International Conference, Tokyo, Japan, June 10-13, 2008, Proceedings 5048 2008 978-3-540-68854-9 FORTE Lecture Notes in Computer Science Springer db/conf/forte/forte2008.html