Formal Techniques For Networked And Distributed Systems-FORTE 2004, LNCS 3235

Frutos-Escrig D.D. (Editor)

Formal Techniques For Networked And Distributed Systems-FORTE 2004, LNCS 3235 - Springer Pub. 2004 - 375

9783540232520

004.6'2 / FRU