A simpler O (m log n) algorithm for branching bisimilarity on labelled transition systems

    Research output: Book/ReportReportProfessional

    121 Downloads (Pure)

    Search results