The Bounded Retransmission Protocol Must Be on Time!

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Invited
    Period2 Apr 1997
    Held atThird International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1997
    Event typeConference
    Conference number3
    LocationEnschede, Netherlands

    Keywords

    • METIS-122707