6. FMOODS 2003:
Paris,
France
Elie Najm, Uwe Nestmann, Perdita Stevens (Eds.):
Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings.
Lecture Notes in Computer Science 2884 Springer 2003, ISBN 3-540-20491-1 BibTeX
@proceedings{DBLP:conf/fmoods/2003,
editor = {Elie Najm and
Uwe Nestmann and
Perdita Stevens},
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},
booktitle = {FMOODS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2884},
year = {2003},
isbn = {3-540-20491-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Talk
Models
Logic and Verification
Calculi
Java and .NET
UML
Composition and Verification
Copyright © Sat May 16 23:12:19 2009
by Michael Ley (ley@uni-trier.de)
