True concurrency models for LOTOS

    Activity: Talk or presentation › Oral presentation

    Description

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