Testing Concurrent Systems: A Formal Approach

G.J. Tretmans (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Eindhoven
    Period27 Aug 1999
    Event title10th International Conference on Concurrency Theory, CONCUR 1999
    Event typeConference
    Conference number10
    LocationEindhoven, Netherlands

    Keywords

    • METIS-121487