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

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

    Keywords

    • METIS-119655

    Cite this