Login / Signup
A methodology for verifying request processing protocols.
Christos Nikolaou
Edmund M. Clarke
Nissim Francez
Stephen A. Schuman
Published in:
SIGCOMM (1983)
Keyphrases
</>
information processing
real time
data processing
real world
multi party
computer vision
decision making
multiscale
evolutionary algorithm
data management
conceptual model