Bisimilarity minimization in O (m log n) time

A. Valmari

    Research output: Contribution to journalArticleScientificpeer-review

    12 Citations (Scopus)
    Translated title of the contributionBisimilarity minimization in O (m log n) time
    Original languageEnglish
    Pages (from-to)123-142
    JournalLecture Notes in Computer Science
    Publication statusPublished - 2009
    Publication typeA1 Journal article-refereed

    Publication forum classification

    • Publication forum level 1

    Cite this