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 languageEnglish
PublisherUniversity of Erlangen
Place of PublicationErlangen
Publication statusPublished - 2001
Externally publishedYes

Keywords

  • METIS-204451

Cite this

Haverkort, B. R. H. M., Hermanns, H., Katoen, J-P., Baier, C., German, R., Lüthi, J. (Ed.), & Telek, M. (Ed.) (2001). Model Checking CSRL-Specified Performability Properties. Erlangen: University of Erlangen.