Title

Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004. Proceedings

Publisher
Publishing Place
Amsterdam
Publication Date
2005
Series
Electronic Notes in Theoretical Computer Science; 133
Conference