Simulator for LOTOS to study the independence and causality of events

  • B. Botma (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

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