Graph Transformation for Verification and Concurrency

R. Heckel, B. König, Arend Rensink

    Research output: Book/ReportReportAcademic

    15 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Graph Transformation for Verification and Concurrency'. Together they form a unique fingerprint.