A Calculus for Timed Automata

P.R. d' Argenio (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Grenoble
    Period18 Mar 1996
    Event titleVoordracht, VERIMAG, France
    Event typeConference
    LocationGrenoble

    Keywords

    • METIS-121247