Taking chances on MERGE and FAIL: Extending strong and probabilistic bisimulation

Jeremy den Hartog, E.P. De Vink

    Research output: Book/ReportReportOther research output

    Fingerprint

    Dive into the research topics of 'Taking chances on MERGE and FAIL: Extending strong and probabilistic bisimulation'. Together they form a unique fingerprint.