Accelerating UPPAAL

K.G. Larsen (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Birmingham, UK
    Period17 Apr 2002
    Event title2nd Workshop on Automated Verification of Critical Systems, AVoCS 2002: null
    Event typeConference
    Conference number2
    LocationBirmingham, United Kingdom

    Keywords

    • METIS-209597