Synthesis of Mealy Machines Using Derivatives

Helle Hvid Hansen, David Costa, Jan J. M. M. Rutten. Synthesis of Mealy Machines Using Derivatives. Electronic Notes in Theoretical Computer Science, 164(1):27-45, 2006. [doi]

Authors

Helle Hvid Hansen

This author has not been identified. Look up 'Helle Hvid Hansen' in Google

David Costa

This author has not been identified. Look up 'David Costa' in Google

Jan J. M. M. Rutten

This author has not been identified. Look up 'Jan J. M. M. Rutten' in Google