Model Checking the Time Properties of Bounded Retransmission Protocol

  • P.R. d' Argenio (Invited speaker)

    Activity: Talk or presentation › Oral presentation

    Period10 Mar 1997
    Event titleIPA Lentedagen 1997: Testen
    Event typeConference
    LocationMierlo, NetherlandsShow on map
    Degree of RecognitionNational