www.prismmodelchecker.org
[MM05a] A. McIver and C. Morgan. An elementary proof that Herman's Ring is THETA(N-squared). Information Processing Letters, 94(2), pages 79-84. April 2005. [bib] http://www.cse.unsw.edu.au/~carrollm/probs/Papers/McIver-05c.pdf
Downloads:  bib bib
Links: [Google] [Google Scholar]

Publications