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

Keywords

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

}