Model Checking Algorithms for Infinite-State Markov Chains

Anne Remke (Speaker), Haverkort, B. (Contributor), L. Cloth (Contributor)

    Activity: Talk or presentationOral presentation

    Period25 Jan 2005
    Event titleVOSS II Meeting Saarbrücken 2005
    Event typeConference
    LocationSaarbrücken, Germany, Saarland
    Degree of RecognitionInternational