1994-12-01
Verification of a Distributed Summation Algorithm
Publication
Publication
| Additional Metadata | |
|---|---|
| Stichting Mathematisch Centrum | |
| K.R. Apt (Krzysztof) , A. Schrijver (Lex) , N.M. Temme (Nico) | |
| Organisation | Logic and language |
|
Vaandrager, F. (1994). Verification of a Distributed Summation Algorithm(K. Apt, L. Schrijver& N. Temme, Eds.). Stichting Mathematisch Centrum. |
|