Real Time Model Checking....and Beyond

K.G. Larsen (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Aarhus, Denmark
    Period7 Aug 2002
    Event titleInvited lecture at Third Workshop on Coloured Petri Nets
    Event typeConference
    LocationAarhus, Denmark

    Keywords

    • METIS-209599