Model-checking performability properties

Boudewijn R.H.M. Haverkort, L. Cloth, H. Hermanns, Joost P. Katoen, C Baier

Research output: Other contribution

56 Citations (Scopus)
Original languageEnglish
PublisherIEEE Computer Press
Place of PublicationWashingthon (D.C.), USA
Publication statusPublished - 2002
Externally publishedYes

Keywords

  • METIS-208750

Cite this