,
IEEE
IEEE Conference on Decision and Control
Scientific Computing

Komenda, J., & van Schuppen, J. (2005). Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems. In Proceedings of IEEE Conference on Decision and Control 2005 (45) (pp. 2775–2780). IEEE.