A formal approach to testing concurrent systems

Brinksma, H. (Speaker)

    Activity: Talk or presentationOral presentation

    Period20 Feb 1991
    Held atPhilips Natlab, Netherlands
    Degree of RecognitionInternational