Modeling and Verification of Keeta's Consensus [pdf]
- %PDF-1.7 %���� 9 0 obj << /Length 1573 /Filter /FlateDecode >> stream xڕWK��6��Wp��,XHB���G�J�T9US��Ɂ�@�� �ǿ>�j����!
- ' ����_���.�ч��o6/^��u$x��ȣ�}T��e�s�FG�&��~ �w�.
- U]��8��x ���9JTZj %B��t�/qƙ�s��X�t�a�� c��1��VΒ��88;����2.
Unverified
- %PDF-1.7 %���� 9 0 obj << /Length 1573 /Filter /FlateDecode >> stream xڕWK��6��Wp��,XHB���G�J�T9US��Ɂ�@�� �ǿ>�j����!
- ' ����_���.�ч��o6/^��u$x��ȣ�}T��e�s�FG�&��~ �w�.
- U]��8��x ���9JTZj %B��t�/qƙ�s��X�t�a�� c��1��VΒ��88;����2.
Sources: Xescu