Equivalences for Silent Transitions in Probabilistic Systems (Extended Abstract)

S. Andova, T.A.C. Willemse

    Research output: Contribution to journalArticleAcademic

    1 Citation (Scopus)
    22 Downloads (Pure)

    Fingerprint Dive into the research topics of 'Equivalences for Silent Transitions in Probabilistic Systems (Extended Abstract)'. Together they form a unique fingerprint.

    Mathematics