Experience with correct protocol design in LOTOS

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Mierlo
    Period11 Mar 1992
    Event titleProtocol verification workshop
    Event typeConference
    LocationMierlo

    Keywords

    • METIS-123821