Jean-Michel Ayache, Jean-Pierre Courtiat, Michel Diaz. Self-Checking software in distributed systems. In Proceedings of the 3rd International Conference on Distributed Computing Systems, Miami/Ft. Lauderdale, Florida, USA, October 18-22, 1982. pages 163-170, IEEE Computer Society, 1982.
Abstract is missing.