Ensuring the Integrity of Agent-Based Computations by Short Proofs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Ingrid Biehl' in GoogleThis author has not been identified. Look up 'Bernd Meyer' in GoogleThis author has not been identified. Look up 'Susanne Wetzel' in Google

runs on WebDSL