Electronic Notes in Theoretical Computer Science, Volume 133

Volume 133, May 2005

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2004)
maintained by Schloss Dagstuhl LZI at University of Trier