Towards analysing large Markov chains using model checking

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: Hampton (VA), USA
    Period23 Mar 2000
    Event titleSeminar at ICASE NASA Langley Research Center
    Event typeConference
    LocationHampton (VA), USA

    Keywords

    • METIS-120886