www.prismmodelchecker.org
[Che06] L. Cheung. Reconciling Nondeterministic and Probabilistic Choices. Ph.D. thesis, Radboud University of Nijmegen. 2006. [bib] http://theory.csail.mit.edu/~lcheung/
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications