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
Formal Techniques For Networked And Distributed Systems-FORTE 2004, LNCS 3235 - Springer Pub. 2004 - 375
9783540232520
004.6'2 / FRU