Deciding bisimilarities on distributions

Christian Eisentraut, H. Hermanns, Julia Krämer, Andrea Turini, Lijun Zhang

    Research output: Contribution to conferencePaper

    16 Citations (Scopus)
    9 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Deciding bisimilarities on distributions'. Together they form a unique fingerprint.