Action refinement in process algebras and partial-order models

Rensink, A. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Kiel
    Period21 Nov 1991
    Event titleREACT-meeting
    Event typeConference
    LocationKiel

    Keywords

    • METIS-123660