Synthesis of Mealy machines using derivatives

D. Costa; J.J.M.M. Rutten; H.H. Hansen

doi:10.1016/j.entcs.2006.06.003

Synthesis of Mealy machines using derivatives

D. Costa, J.J.M.M. Rutten, H.H. Hansen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings 8th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006, Vienna, Austria, March 25-27, 2006)
Editors	N. Ghani, J. Power
Pages	27-45
DOIs	https://doi.org/10.1016/j.entcs.2006.06.003
Publication status	Published - 2006

Publication series

Name	Electronic Notes in Theoretical Computer Science
Volume	164(1)
ISSN (Print)	1571-0061

Access to Document

10.1016/j.entcs.2006.06.003

Cite this

Costa, D., Rutten, J. J. M. M., & Hansen, H. H. (2006). Synthesis of Mealy machines using derivatives. In N. Ghani, & J. Power (Eds.), Proceedings 8th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006, Vienna, Austria, March 25-27, 2006) (pp. 27-45). (Electronic Notes in Theoretical Computer Science; Vol. 164(1)). https://doi.org/10.1016/j.entcs.2006.06.003

@inproceedings{85f90ff589ca46ddbd0e304a6daa0673,

title = "Synthesis of Mealy machines using derivatives",

author = "D. Costa and J.J.M.M. Rutten and H.H. Hansen",

year = "2006",

doi = "10.1016/j.entcs.2006.06.003",

language = "English",

series = "Electronic Notes in Theoretical Computer Science",

pages = "27--45",

editor = "N. Ghani and J. Power",

booktitle = "Proceedings 8th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006, Vienna, Austria, March 25-27, 2006)",

}

Synthesis of Mealy machines using derivatives. / Costa, D.; Rutten, J.J.M.M.; Hansen, H.H.
Proceedings 8th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006, Vienna, Austria, March 25-27, 2006). ed. / N. Ghani; J. Power. 2006. p. 27-45 (Electronic Notes in Theoretical Computer Science; Vol. 164(1)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Synthesis of Mealy machines using derivatives

AU - Costa, D.

AU - Rutten, J.J.M.M.

AU - Hansen, H.H.

PY - 2006

Y1 - 2006

U2 - 10.1016/j.entcs.2006.06.003

DO - 10.1016/j.entcs.2006.06.003

M3 - Conference contribution

T3 - Electronic Notes in Theoretical Computer Science

SP - 27

EP - 45

BT - Proceedings 8th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006, Vienna, Austria, March 25-27, 2006)

A2 - Ghani, N.

A2 - Power, J.

ER -