[IEEE 2014 10th International Conference on Communications (COMM) - Bucharest, Romania (2014.5.29-2014.5.31)] 2014 10th International Conference on Communications (COMM) - Model checking ARAN ad hoc secure routing protocol with algebraic Petri nets
Pura, Mihai Lica, Buchs, DidierYear:
2014
Language:
english
DOI:
10.1109/iccomm.2014.6866692
File:
PDF, 176 KB
english, 2014