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

L. Cloth; B.R.H.M. Haverkort

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

Research output: Contribution to conference › Paper

Original language	English
Pages	19-22
Number of pages	4
Publication status	Published - 23 Sept 2005
Event	7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005 - Turin, Italy Duration: 23 Oct 2005 → 24 Oct 2005 Conference number: 7

Workshop

Workshop	7th International Workshop on Performability Modeling of Computer and Communication Systems, PMCCS 2005
Abbreviated title	PMCCS
Country/Territory	Italy
City	Turin
Period	23/10/05 → 24/10/05

Keywords

METIS-225558

Cite this

@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 = sep,

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",

}