David de Frutos-Escrig, Manuel Núñez, editors, Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings. Volume 3235 of Lecture Notes in Computer Science, Springer, 2004.
Conference: forte2004
@proceedings{forte:2004,
title = {Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings},
year = {2004},
researchr = {https://researchr.org/publication/forte%3A2004},
cites = {0},
citedby = {0},
booktitle = {Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings},
conference = {forte},
editor = {David de Frutos-Escrig and Manuel Núñez},
volume = {3235},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-23252-4},
}