Modelling Systems by Probabilistic Process Algebra: An Event Stuctures Approach

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Boston - U.S.A.
    Period28 Oct 1993
    Event title6th International Conference on Formal Description Techniques
    Event typeConference
    LocationBoston - U.S.A.

    Keywords

    • METIS-123781