A Formal Approach to Testing Concurrent Systems

Brinksma, H. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Parijs
    Period26 Mar 1992
    Held atUniversite Paris-Sud, France

    Keywords

    • METIS-123811