Partial-order, Models for Quantative Extensions of LOTOS

Katoen, J. P. (Invited speaker), Diego Latella (Invited speaker)

    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: null
    Event typeConference
    LocationKaiserslautern, Germany, Rhineland-Palatinate
    Degree of RecognitionInternational