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]
@inproceedings{BiehlMW98:0,
title = {Ensuring the Integrity of Agent-Based Computations by Short Proofs},
author = {Ingrid Biehl and Bernd Meyer and Susanne Wetzel},
year = {1998},
url = {http://link.springer.de/link/service/series/0558/bibs/1477/14770183.htm},
tags = {rule-based},
researchr = {https://researchr.org/publication/BiehlMW98%3A0},
cites = {0},
citedby = {0},
pages = {183-194},
booktitle = {Mobile Agents, Second International Workshop, MA 98, Stuttgart, Germany, September 1998, Proceedings},
editor = {Kurt Rothermel and Fritz Hohl},
volume = {1477},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-64959-X},
}