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.
    Hermanns, H. ; Siegle, M. / Symbolic Minimisation of Stochastic Process Algebra. Proceedings GI/ITG Fachgesprach "Formaler Beschreibungstechniken fur verteilte Systeme". Munnich, Germany, 1999. pp. 73-82
    @inproceedings{51f7abf11c5946c9a93656f8c88b56d9,
    title = "Symbolic Minimisation of Stochastic Process Algebra",
    keywords = "METIS-119598",
    author = "H. Hermanns and M. Siegle",
    year = "1999",
    month = "2",
    day = "14",
    language = "Undefined",
    isbn = "3-89675-918-3",
    pages = "73--82",
    booktitle = "Proceedings GI/ITG Fachgesprach {"}Formaler Beschreibungstechniken fur verteilte Systeme{"}",

    }

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

    Symbolic Minimisation of Stochastic Process Algebra. / Hermanns, H.; Siegle, M.

    Proceedings GI/ITG Fachgesprach "Formaler Beschreibungstechniken fur verteilte Systeme". Munnich, Germany, 1999. p. 73-82.

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

    TY - GEN

    T1 - Symbolic Minimisation of Stochastic Process Algebra

    AU - Hermanns, H.

    AU - Siegle, M.

    PY - 1999/2/14

    Y1 - 1999/2/14

    KW - METIS-119598

    M3 - Conference contribution

    SN - 3-89675-918-3

    SP - 73

    EP - 82

    BT - Proceedings GI/ITG Fachgesprach "Formaler Beschreibungstechniken fur verteilte Systeme"

    CY - Munnich, Germany

    ER -

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