A formal approach to testing concurrent systems

    Activity: Talk or presentationOral presentation

    Period20 Feb 1991
    Held atPhilips Natlab, Netherlands
    Degree of RecognitionInternational