Verifying liveness properties of multifunction composite protocols.

Published in: Comput. Commun. (2003)

Keyphrases

structural properties
special case
desirable properties
neural network
data mining
wireless sensor networks
topological properties