Hyperbolic PDE's for CSRL Model Checking: A Deja Vu

    Research output: Contribution to conferencePaper

    Original languageEnglish
    Pages19-22
    Number of pages4
    Publication statusPublished - 23 Sep 2005
    Event7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005 - Turin, Italy
    Duration: 23 Oct 200524 Oct 2005
    Conference number: 7

    Workshop

    Workshop7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005
    Abbreviated titlePMCCS
    CountryItaly
    CityTurin
    Period23/10/0524/10/05

    Keywords

    • METIS-225558

    Cite this

    Cloth, L., & Haverkort, B. R. H. M. (2005). Hyperbolic PDE's for CSRL Model Checking: A Deja Vu. 19-22. Paper presented at 7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005, Turin, Italy.