Skip to main navigation Skip to search Skip to main content

Modeling and Verifying a Bounded Retransmission Protocol

    Activity: Talk or presentation › Invited talk

    Period28 Oct 1996
    Held atCanterbury Christ Church University, United Kingdom