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

Research output: Contribution to conferencePaperAcademic

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.
Cloth, L. ; Haverkort, B.R.H.M. / Hyperbolic PDE's for CSRL Model Checking : A Deja Vu. Paper presented at 7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005, Turin, Italy.4 p.
@conference{11a3ecc777bd4a8ebc7607113bb01943,
title = "Hyperbolic PDE's for CSRL Model Checking: A Deja Vu",
keywords = "METIS-225558",
author = "L. Cloth and B.R.H.M. Haverkort",
year = "2005",
month = "9",
day = "23",
language = "English",
pages = "19--22",
note = "7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005, PMCCS ; Conference date: 23-10-2005 Through 24-10-2005",

}

Cloth, L & Haverkort, BRHM 2005, 'Hyperbolic PDE's for CSRL Model Checking: A Deja Vu' Paper presented at 7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005, Turin, Italy, 23/10/05 - 24/10/05, pp. 19-22.

Hyperbolic PDE's for CSRL Model Checking : A Deja Vu. / Cloth, L.; Haverkort, B.R.H.M.

2005. 19-22 Paper presented at 7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005, Turin, Italy.

Research output: Contribution to conferencePaperAcademic

TY - CONF

T1 - Hyperbolic PDE's for CSRL Model Checking

T2 - A Deja Vu

AU - Cloth, L.

AU - Haverkort, B.R.H.M.

PY - 2005/9/23

Y1 - 2005/9/23

KW - METIS-225558

M3 - Paper

SP - 19

EP - 22

ER -

Cloth L, Haverkort BRHM. Hyperbolic PDE's for CSRL Model Checking: A Deja Vu. 2005. Paper presented at 7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005, Turin, Italy.