Mechanical Verification of a Two-Way Sliding Window Protocol (Full version including proofs)

Bahareh Badban, Wan Fokkink, Jan Cornelis van de Pol

    Research output: Book/ReportReportProfessional

    45 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Mechanical Verification of a Two-Way Sliding Window Protocol (Full version including proofs)'. Together they form a unique fingerprint.