Analysing Markov Chains by Model Checking

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Pisa, Italy
    Period30 Mar 2001
    Held atCNUCE-CNR, Italy