Mihai-Lica Pura, Didier Buchs. Using Algebraic Petri Nets for Testing the Models of Ad Hoc Secure Routing Protocols in Mobility Scenarios. In 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA. pages 2-3, IEEE Computer Society, 2014. [doi]
Abstract is missing.