Table of n, a(n) for n=1..9.
M. Mowbray and D. Gollmann, Electing the Doge of Venice: Analysis of a 13th Century Protocol, IEEE Computer Security Foundations Symposium, 6-8 July 2007.
Sequence in context: A265995 A040876 A277982 * A073401 A040875 A131773
Adjacent sequences: A287918 A287919 A287920 * A287922 A287923 A287924
Evan Hubinger, Jul 01 2017