Partial order methods and action refinement

Zwiers, J. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Dagstuhl
    Period13 Mar 1991
    Held atSchloss Dagstuhl -Leibniz-Zentrum fur Informatik, Germany

    Keywords

    • METIS-123568