Model Checking pathCSL

  • L. Cloth (Speaker)

    Activity: Talk or presentationOral presentation

    Period6 Sept 2003
    Event title6th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2003
    Event typeConference
    Conference number6
    LocationMonticello, United States, IllinoisShow on map
    Degree of RecognitionInternational

    Keywords

    • METIS-216860