25th IFIP WG 6.1 International Conference on
Formal Techniques for Networked and Distributed Systems
National Taiwan University Sunday 2 October - Wednesday 5 October 2005