Model Checking of Trust-Based UserCentric Cooperative Networks (0)

by A Aldini, A Bogliolo
Venue:Proc. 4th Int. Conf. on Advances in Future Internet (AFIN’12), IARIA, 2012