www.prismmodelchecker.org
[STTT11] Toshifusa Sekizawa, Takashi Toyoshima, Koichi Takahashi and Kazuko Takahashi. Probabilistic Symmetry Reduction for a System with Ring Buffer. IEICE Transactions, 94-D(5), pages 967-975. 2011. [bib]
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications