A Formal Analysis of the Deferred Update Technique.

Rodrigo Schmidt Fernando Pedone

Published in: DISC (2007)

Keyphrases

formal analysis
formal methods
agent model
ban logic
neural network
low cost
cost effective