, ,
,
I.E.E.E.
IEEE Transactions on Automatic Control
Scientific Computing

Komenda, J., & van Schuppen, J. (2008). Modular control of discrete-event systems with coalgebra. IEEE Transactions on Automatic Control, 53, 447–460.