www.prismmodelchecker.org
[DIM95] S. Dolev, A. Israeli and S. Moran. Analyzing Expected Time by Scheduler-Luck Games. IEEE Transactions on Software Engineering, 21(5), pages 429-439. 1995. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications