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. In K. Apt, L. Schrijver, & N. Temme (Eds.), . Stichting Mathematisch Centrum. |
|