%O Book 
%F Darondeau2003c
%T Proceedings of the ATPN-Workshop on Discrete Event Systems Control
%E Darondeau, P.
%E Kumagai, S.
%S BETA-RR
%8 June
%D 2003
%K control