Synthesis of Mealy machines using derivatives (2006)

by Helle Hansen, David Costa, Jan Rutten
Venue:In Proceedings of CMCS 2006