UPPAAL Implementation Secrets

  • K.G. Larsen (Speaker)

    Activity: Talk or presentation › Oral presentation

    Period24 Aug 2002
    Event titleTools Day CONCUR 2002
    Event typeConference
    LocationBrno, Czech RepublicShow on map
    Degree of RecognitionInternational

    Keywords

    • METIS-209600