Modeling and Verifying a Bounded Retransmission Protocol

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationInvited talk

    Period28 Oct 1996
    Held atCanterbury Christ Church University, United Kingdom