24th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems FORTE 2004 27-30 September, 2004, Madrid, Spain
This page is best viewed whith a CSS 2.1 compliant navigator, for instance mozilla, netscape (version 6 or later), opera, konqueror or safari. Unfortunately MS Internet Explorer 6 it is not.