28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems, Tokyo, Japan, June 10-13, 2008.
Submission: Monday, January 21, 2008
Back
