Formal Methods for Design, A Process-Algebraic Approach

Brinksma, H. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Erlangen
    Period22 Jan 1996
    Event titleVoordracht Informatik-Kolloquium Friedrich Alexander Universitaet: null
    Event typeConference
    LocationErlangen

    Keywords

    • METIS-121227