Model Checking pathCSL

L. Cloth (Speaker)

Activity: Talk or presentationOral presentation

Period6 Sep 2003
Held at6th 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