dblp.uni-trier.de www.uni-trier.de

6. FMCO 2007: Amsterdam, The Netherlands

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem P. de Roever (Eds.): Formal Methods for Components and Objects, 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures. Lecture Notes in Computer Science 5382 Springer 2008, ISBN 978-3-540-92187-5 BibTeX

The MOBIUS Project

The GridCOMP Project

The SELFMAN Project

The ARTIST Project

The CREDO Project

Copyright © Sat May 16 23:12:17 2009 by Michael Ley (ley@uni-trier.de)