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

    13 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