Analyzing the procedure for AMP enabled operation in Bluetooth 3.0 using Colored Petri Nets

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

Abstract is missing.