Towards analysing large Markov chains using model checking

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Williamsbug, USA
    Period24 Mar 2000
    Event titleSeminar at College of William and Mary
    Event typeConference
    LocationWilliamsbug, USA

    Keywords

    • METIS-120887