Formal Techniques for Networked and Distributed Systems – FORTE 2004 | Publicación