Model checking action- and state-labelled Markov chains

L. Cloth, C Baier, M. Kuntz, M. Siegle, Boudewijn R.H.M. Haverkort

Research output: Other contribution

19 Citations (Scopus)
Original languageEnglish
PublisherIEEE Computer Society
Number of pages10
Place of PublicationFlorence, Italy
ISBN (Print)0-7695-2052-9
Publication statusPublished - 28 Jun 2004
Externally publishedYes

Keywords

  • METIS-218831

Cite this