Rongyang Liu, José G. Delgado-Frias, Doug Boyce, Rahul Khanna. UEFI USB bus initialization verification using Colored Petri Net. In IEEE 58th International Midwest Symposium on Circuits and Systems, MWSCAS 2015, Fort Collins, CO, USA, August 2-5, 2015. pages 1-4, IEEE, 2015. [doi]
Abstract is missing.