Towards Model Checking Stochastic Process Algebra

H. Hermanns, Joost P. Katoen, J. Meyer-Kayser, M. Siegle

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

    38 Citations (Scopus)
    Original languageUndefined
    Title of host publicationIntegrated Formal Methods, 2nd international Workshop, IFM 2000
    Place of PublicationDagstuhl, Germany
    Number of pages20
    Publication statusPublished - 22 Feb 2000


    • METIS-119655

    Cite this