Model Checking pathCSL

L. Cloth (Speaker)

    Activity: Talk or presentationOral presentation

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

    Keywords

    • METIS-216860