Model Checking Algorithms for Infinite-State Markov Chains

  • Remke, A. (Speaker)
  • Boudewijn Haverkort (Contributor)
  • L. Cloth (Contributor)

    Activity: Talk or presentationOral presentation

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