,
TU Eindhoven
SE Report
Scientific Computing

Su, R., van Schuppen, J., Rooda, J., & Petreczky, M. (2009). Computing supremal minimum-weight controllable and normal sublanguages. SE Report. TU Eindhoven.