%0 Conference Proceedings
%F leborgne93a
%A Le Borgne, M.
%T Dynamical Systems over Galois Fields: Application to DES and to the SIGNAL Language
%B Lecture Notes of the Belgian-French-Netherlands Summer School on Discrete Event Systems
%C Spa, Belgium
%U ftp://ftp.irisa.fr/local/signal/publis/articles/BFNSSDES-93:verif.ps.gz
%8 June
%D 1993