Trial or Trade?

    Activity: Talk or presentation › Oral 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, BavariaShow on map

    Keywords

    • METIS-121229