,
TU Eindhoven
SE Report
Scientific Computing

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