Frutos-Escrig, David de.,Nú?ez, Manuel,.Formal techniques for networked and distributed systems--FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings /.Springer,,c2004..
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.,Nú?ez, Manuel,.Springer,,c2004..
