Partial-order, Models for Quantative Extensions of LOTOS

    Activity: Talk or presentationOral presentation

    Period8 Oct 1996
    Event titleIFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, FORTE/PSTV 1996
    Event typeConference
    LocationKaiserslautern, Germany, Rhineland-PalatinateShow on map
    Degree of RecognitionInternational