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

Cloth, L., Baier, C., Kuntz, M., Siegle, M., & Haverkort, B. R. H. M. (2004, Jun 28). Model checking action- and state-labelled Markov chains. Florence, Italy: IEEE Computer Society.