Model Checking Algorithms for Infinite-State Markov Chains

    Activity: Talk or presentation › Oral presentation

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