Juan Bicarregui, Andrew Butterfield, Alvaro Arenas, editors, Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004. Volume 133 of Electronic Notes in Theoretical Computer Science, Elsevier, 2005. [doi]
Conference: fmics2005
Abstract is missing.