Formulas for a class of controllable and observable sublanguages larger than the supremal controllable and normal sublanguage

From MaRDI portal
Publication:1801642