Local modular Supervisory Control of DES with distinguishers.

Marcelo Teixeira, Jos Eduardo Ribeiro Cury, Max Hering de Queiroz

Browse the full ETFA paper archive.