Modelling and Verifying a Bounded Retransmission Protocol

G.J. Tretmans (Keynote speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Key-note speaker Plaats van uitgifte: Maribor, Slovenia
    Period18 Jun 1996
    Event titleCOST 247 International Workshop on Applied Formal Methods in System Design 1996: null
    Event typeWorkshop
    LocationMaribor, Slovenia

    Keywords

    • METIS-121210