Treffer: Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Title:
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings
Contributors:
Elie Najm, Uwe Nestmann, Perdita Stevens
Source:
FMOODS. 2884
Availability:
Database:
dblp computer science bibliography