An efficient algorithm for branching bisimulation and stuttering equivalence

J.F. Groote, F.W. Vaandrager

    Research output: Book/Report › Report › Academic

    Original languageEnglish
    Place of PublicationAmsterdam
    PublisherCentrum voor Wiskunde en Informatica
    Number of pages13
    Publication statusPublished - 1990

    Publication series

    NameCWI report. CS-R
    Volume9001
    ISSN (Print)0169-118X

    Cite this