Mohammad Moallemi, Gabriel Andrés Wainer, Shafagh Jafer, Gary Boudreau, Ronald Casselman. Simulation of mobile networks using discrete event system specification theory. In Hassan Rajaei, editor, Proceedings of the 16th Communications & Networking Symposium, part of the 2013 Spring Simulation Multiconference, SpringSim '13, San Diego, CA, USA, April 7-10, 2013. pages 12, ACM, 2013. [doi]
Abstract is missing.