Performability assessment using model checking

Katoen, J. P. (Speaker)

    Activity: Talk or presentationOral presentation

    Period4 Feb 2003
    Held atUniversity of Illinois at Urbana-Champaign, United States