net.automatalib.modelchecking.lasso
Classes
AbstractLasso
DFALassoImpl
MealyLassoImpl