Graph Transformation for Verification and Concurrency

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

    Research output: Book/ReportReportAcademic

    16 Downloads (Pure)

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