Model-checking performability properties

H. Hermanns (Speaker)

    Activity: Talk or presentationOral presentation

    Description

    Plaats van uitgifte: Washington DC, USA
    Period24 Jun 2002
    Held atCentral Washington University, United States

    Keywords

    • METIS-209131