Markov chain algebra

H. Hermanns (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Dagstuhl, Germany
    Period4 May 2000
    Event titleDagstuhl Seminar 00181: Probabilistic Methods in Verification 2000
    Event typeConference
    LocationWadern, Germany

    Keywords

    • METIS-120893