Trial or Trade?

Brinksma, H. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited
    Period21 Mar 1996
    Held at Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS '96
    Event typeWorkshop
    Conference number2
    LocationPassau, Germany

    Keywords

    • METIS-121229