Algebraic Verification of a Distributed Summation Algorithm (1996)

Cached

Download Links

by Jan Friso Groote , Jan Springintveld
Citations:5 - 0 self