%O Report 
%F pinchinat99
%A Pinchinat, S.
%A Marchand, H.
%A Le Borgne, M.
%T Symbolic Abstractions of Automata and their application to the Supervisory Control Problem
%N 1279
%I Irisa
%U ftp://ftp.irisa.fr/techreports/1999/PI-1279.ps.gz
%8 November
%D 1999