Formally testing the protocol performances

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

Authors

Xiaoping Che

This author has not been identified. Look up 'Xiaoping Che' in Google

Stephane Maag

This author has not been identified. Look up 'Stephane Maag' in Google