David de Frutos-Escrig

1 published title

Formal techniques for networked and distributed systems, FORTE 2004 : 24th IFIP WG 6.1 international conference

(Contributor)

1 edition