Ingrid Biehl, Bernd Meyer, Susanne Wetzel. Ensuring the Integrity of Agent-Based Computations by Short Proofs. In Kurt Rothermel, Fritz Hohl, editors, Mobile Agents, Second International Workshop, MA 98, Stuttgart, Germany, September 1998, Proceedings. Volume 1477 of Lecture Notes in Computer Science, pages 183-194, Springer, 1998. [doi]
Abstract is missing.