Symbolic Minimisation of Stochastic Process Algebra

H. Hermanns, M. Siegle

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

    Original languageUndefined
    Title of host publicationProceedings GI/ITG Fachgesprach "Formaler Beschreibungstechniken fur verteilte Systeme"
    Place of PublicationMunnich, Germany
    Pages73-82
    Number of pages10
    Publication statusPublished - 14 Feb 1999

    Keywords

    • METIS-119598

    Cite this

    Hermanns, H., & Siegle, M. (1999). Symbolic Minimisation of Stochastic Process Algebra. In Proceedings GI/ITG Fachgesprach "Formaler Beschreibungstechniken fur verteilte Systeme" (pp. 73-82). Munnich, Germany.