A formal approach to testing concurrent systems

Brinksma, H. (Speaker)

    Activity: Talk or presentationOral presentation

    Period20 Feb 1991
    Degree of RecognitionInternational