Vaandrager, F. W. (1995). Verification of a distributed summation algorithm.
Chicago-Zitierstil (17. Ausg.)Vaandrager, Frits W. Verification of a Distributed Summation Algorithm. Amsterdam, 1995.
MLA-Zitierstil (9. Ausg.)Vaandrager, Frits W. Verification of a Distributed Summation Algorithm. 1995.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.