www.prismmodelchecker.org
Home • About • Downloads • Documentation • Manual • Tutorial • Lectures • Publications • Case Studies • Support
[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] [CiteSeer]

Publications