UPPAAL Implementation Secrets

K.G. Larsen (Speaker)

    Activity: Talk or presentationOral presentation

    Period24 Aug 2002
    Event titleTools Day CONCUR 2002
    Event typeConference
    LocationBrno, Czech Republic
    Degree of RecognitionInternational

    Keywords

    • METIS-209600