@book{326745,
	author = {Frutos-Escrig D.D. (Editor) and Frutos-Escrig D.D. (Editor) & Nunez M. (Editor)},
	title = {Formal Techniques For Networked And Distributed Systems-FORTE 2004, LNCS 3235},
	publisher = {Springer Pub.},
	year = {2004}
}