Model-checking performability properties

  • H. Hermanns (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

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

    Keywords

    • METIS-209131