Formal Techniques for Networked and Distributed Systems - FORTE 2004 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings Frutos-Escrig, David de Heftet / 2004 / Engelsk
