%O Generic 
%F pinchinat99b
%A Pinchinat, S.
%A Marchand, H.
%A Le Borgne, M.
%T Deliverable 3.1.3: Symbolic Abstractions of Automata and their application to the Supervisory Control Problem
%B Esprit project 22703: Syrf
%8 October
%D 1999