Formale Methoden für Verteilte Systeme?

H. Hermanns (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Erlangen, Germany
    Period26 Mar 2004
    Event titleHonorary Lecture on the occasion of the retirement of Prof. Ulrich Herzog
    Event typeConference
    LocationErlangen, Germany

    Keywords

    • METIS-222568