Towards model checking stochastic process algebra

Katoen, J. P. (Keynote speaker)

    Activity: Talk or presentationInvited talk

    Period3 Nov 2000
    Event title2nd International Conference on Integrated Formal Methods, iFM 2000
    Event typeConference
    LocationSchloss Dagstuhl, Germany