Analyzing Markov Chains by Model Checking

H. Hermanns (Speaker)

Activity: Talk or presentationOral presentation

Description

Plaats van uitgifte: TUE, Eindhoven
Period7 Nov 2001
Held atEindhoven University of Technology, Netherlands

Keywords

  • METIS-204442