%0 Conference Proceedings
%F dumitrescu04
%A Dumitrescu, E.
%A Girault, A.
%A Rutten, E.
%T Validating Fault-Tolerant Behaviors of Synchronous System Specifications by Discrete Controller Synthesis
%B IFAC Workshop on Discrete Event Systems, WODES'04
%C Reims, France
%U ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Wodes04/main.pdf.gz
%8 September
%D 2004