Approximate symbolic model checking of continuous Markov chains

Katoen, J. P. (Invited speaker)

    Activity: Talk or presentationOral presentation

    Description

    Opmerking: Invited Plaats van uitgifte: RWTH Aachen
    Period18 Mar 1999
    Event titleVoordracht Kolloquium (Informatica): null
    Event typeConference
    LocationRWTH Aachen

    Keywords

    • METIS-121440