Towards model checking stochastic process algebra

    Activity: Talk or presentation › Invited talk

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