Elsevier B.V.
Electronic Notes in Theoretical Computer Science
International Workshop on Formal Aspects of Component Software
Computer Security

Rutten, J. (2006). Algebraic specification and coalgebraic synthesis of Mealy automata. In Proceedings of International Workshop on Formal Aspects of Component Software 2006 (pp. 305–319). Elsevier B.V.