Time and probabilities in true concurrent LOTOS

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Period1 Oct 1994
    Held atCiudad Universitaria de Madrid, Spain
    Degree of RecognitionInternational