2006
Algebraic specification and coalgebraic synthesis of Mealy automata
Publication
Publication
Presented at the
International Workshop on Formal Aspects of Component Software
Additional Metadata | |
---|---|
Elsevier B.V. | |
Electronic Notes in Theoretical Computer Science | |
International Workshop on Formal Aspects of Component Software | |
Organisation | 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. |