Model Checking CSRL-Specified Performability Properties

Boudewijn R.H.M. Haverkort; Holger Hermanns; Joost-Pieter Katoen; Christel Baier; R. German; J. Lüthi; M. Telek

Model Checking CSRL-Specified Performability Properties

Boudewijn R.H.M. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Christel Baier, R. German, J. Lüthi (Editor), M. Telek (Editor)

Research output: Other contribution

Original language	English
Publisher	University of Erlangen
Place of Publication	Erlangen
Publication status	Published - 2001
Externally published	Yes

Keywords

METIS-204451

Cite this

@misc{0401ebae3e164f41bf286369d53153a5,

title = "Model Checking CSRL-Specified Performability Properties",

keywords = "METIS-204451",

author = "Haverkort, \{Boudewijn R.H.M.\} and Holger Hermanns and Joost-Pieter Katoen and Christel Baier and R. German and J. L{\"u}thi and M. Telek",

year = "2001",

language = "English",

publisher = "University of Erlangen",

type = "Other",

}