Additional Metadata
THEME Software (theme 1)
Publisher Elsevier B.V.
Series Electronic Notes in Theoretical Computer Science
Conference International Workshop on Formal Aspects of Component Software
Citation
Rutten, J.J.M.M. (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.