A Process Algebra for Timed Automata

P.R. d' Argenio (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Universitat Erlangen-Nurnberg
    Period7 Oct 1997
    Event titleVoordracht IMMD VII
    Event typeConference
    LocationUniversitat Erlangen-Nurnberg

    Keywords

    • METIS-122702