www.prismmodelchecker.org
[Jen53] A. Jensen. Markoff chains as an aid in the study of Markoff processes. Skand. Aktuarietiedskr., 36, pages 87-91. 1953. [bib]
Downloads:  bib bib

Publications