Bisimilarity minimization in O (m log n) time

  • Antti Valmari (Speaker)

    Activity: Talk or presentation › Conference presentation

    Period2009
    Event titleApplications and Theory of Petri Nets, 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. LNCS
    Event typeConference

    Country of activity

    • France

    Publication forum classification

    • Publication forum level 1