Simulator for LOTOS to study the independence and causality of events

B. Botma (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Position statement
    Period6 Oct 1994
    Event titleInternational Conference on Formal Decription Techniques, FORTE 1994
    Event typeConference
    LocationBern, Switzerland
    Degree of RecognitionInternational