Trial or Trade?

Brinksma, H. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited
    Period21 Mar 1996
    Event title2nd International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1996
    Event typeWorkshop
    Conference number2
    LocationPassau, Germany, Bavaria

    Keywords

    • METIS-121229