Team Automata for Security Analysis

Maurice H. ter Beek, Gabriele Lenzini, Marinella Petrocchi

    Research output: Book/ReportReportOther research output

    23 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Team Automata for Security Analysis'. Together they form a unique fingerprint.