Mayerlin Blanco, MarĂa Elena Villapol. Analyzing the procedure for AMP enabled operation in Bluetooth 3.0 using Colored Petri Nets. In Global Information Infrastructure and Networking Symposium, GIIS 2012, Choroni, Venezuela, December 17-19, 2012. pages 1-8, IEEE, 2012. [doi]
Abstract is missing.