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

    14 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
    Publication statusPublished - 2006

    Publication series

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

    Cite this