Formally testing the protocol performances

Xiaoping Che, Stephane Maag. Formally testing the protocol performances. IJSSC, 5(2):76-88, 2015. [doi]

Abstract

Abstract is missing.