Domain-specific optimization in automata learning (2003)

by H Hungar, O Niese, B Steffen
Venue:In Proc. 15th Int. Conf. on Computer Aided Verification