Synthesis of Mealy machines using derivatives

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    12 Citations (Scopus)
    Original languageEnglish
    Title of host publicationProceedings 8th International Workshop on Coalgebraic Methods in Computer Science (CMCS 2006, Vienna, Austria, March 25-27, 2006)
    EditorsN. Ghani, J. Power
    Pages27-45
    DOIs
    Publication statusPublished - 2006

    Publication series

    NameElectronic Notes in Theoretical Computer Science
    Volume164(1)
    ISSN (Print)1571-0061

    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