Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-based Implementation

H. Hermanns, M. Siegle

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    28 Citations (Scopus)
    Original languageUndefined
    Title of host publicationProceedings of Formal Methods for Real-Time and Probabilistic Systems (ARTS'99)
    Place of PublicationBamberg, Germany
    Pages244-264
    Number of pages21
    Publication statusPublished - 14 Feb 1999

    Keywords

    • METIS-119600

    Cite this