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

Thank you for reading formal techniques for networked and distributed systems forte 2004 24th ifip wg 612 international conference madrid spain september 27 3