Formal Methods for Industrial Critical Systems
FMICS Home Page
FMICS/PDMC 2006: Bonn, Germany
Lubos Brim, Boudewijn R. Haverkort, Martin Leucker, Jaco van de Pol (Eds.):
Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers.
Lecture Notes in Computer Science 4346 Springer 2007, ISBN 978-3-540-70951-0
Contents BibTeX
FMICS 2005: Lisbon, Portugal
FMICS 2004: Linz, Austria
ENTCS 133
FMICS 2003: Trondheim, Norway
ENTCS 80
Copyright © Tue May 27 17:52:33 2008
by Michael Ley (ley@uni-trier.de)
