Model Checking Real Time Systems

K.G. Larsen (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Bertinoro, Italy
    Period14 Sep 2002
    Event titleInvited lecture at 2nd School on Formal Methods (SFM): Model Checking
    Event typeConference
    LocationBertinoro, Italy

    Keywords

    • METIS-209602