Model Checking the Time Properties of Bounded Retransmission Protocol

P.R. d' Argenio (Invited speaker)

    Activity: Talk or presentationOral presentation

    Period10 Mar 1997
    Event titleIPA Lentedagen 1997: Testen
    Event typeConference
    LocationMierlo, Netherlands
    Degree of RecognitionNational