True concurrency models for LOTOS

Langerak, R. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Tutorial
    Period4 Oct 1994
    Event titleInternational Conference on Formal Decription Techniques, FORTE 1994
    Event typeConference
    LocationBern, Switzerland
    Degree of RecognitionInternational