Using Canonical Forms for Isomorphism Reduction in Graph-based Model Checking

Gijs Kant

    Research output: Book/ReportReportProfessional

    176 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Using Canonical Forms for Isomorphism Reduction in Graph-based Model Checking'. Together they form a unique fingerprint.