Login / Signup

Comments on "On the Proof of a Distributed Algorithm": Always-Tru is not Invariant.

A. J. M. van GasterenGerard Tel
Published in: Inf. Process. Lett. (1990)
Keyphrases