Verification of Timed and Hybrid Systems

K.G. Larsen (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Kopenhagen
    Period26 Mar 2000
    Event titleInternational Conference on Application and Theory of Petri Nets
    Event typeConference
    LocationKopenhagen

    Keywords

    • METIS-121341