A Blocking-based Approach to Protocol Validation.

Qizhi Ye Yu Lei David Chenho Kung

Published in: Comput. J. (2006)

Keyphrases

lightweight
network protocols
communication protocol
real time
network simulator
databases
artificial intelligence
cooperative
record linkage
formal analysis