%0 Conference Proceedings
%F leborgne96
%A Le Borgne, M.
%A Marchand, H.
%A Rutten, E.
%A Samaan, M.
%T Formal Verification of SIGNAL programs: Application to a Power Transformer Station Controller
%B Proceedings of the Fifth International Conference on Algebraic Methodology and Software Technology AMAST'96
%P 271-285
%I Springer-Verlag, LNCS 1101
%C Munich, Germany
%U ftp://ftp.irisa.fr/local/signal/publis/articles/AMAST-96:verif_appli.ps.gz
%8 July
%D 1996