Ensuring the integrity of agent-based computations by short proofs
1998 ◽
pp. 183-194
◽
Keyword(s):
1992 ◽
Vol 50
(2)
◽
pp. 1092-1093
Keyword(s):
Keyword(s):