On automating the verification of secure ad-hoc network routing protocols

2011 ◽  
Vol 52 (4) ◽  
pp. 2611-2635 ◽  
Author(s):  
Ta Vinh Thong ◽  
Levente Buttyán
Sign in / Sign up

Export Citation Format

Share Document