Bisimulation for neighbourhood structures

H.H. Hansen, C.A. Kupke, E. Pacuit

    Research output: Book/ReportReportAcademic

    9 Citations (Scopus)

    Fingerprint Dive into the research topics of 'Bisimulation for neighbourhood structures'. Together they form a unique fingerprint.

    Engineering & Materials Science