%0 Conference Proceedings
%F fmics04
%A Girault, Alain
%A Rutten, Eric
%T Discrete Controller Synthesis for Fault-Tolerant Distributed Systems
%B Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 04
%I Tech. Rep of Kepler University Linz & ENTCS Eslevier
%8 September
%D 2004