Bryan May, Mahendra Thawani, J. Stephen Skinner. Electromagnetic Battle Manager Verification Case Study. In 2014 IEEE Military Communications Conference, MILCOM 2014, Baltimore, MD, USA, October 6-8, 2014. pages 1281-1286, IEEE, 2014. [doi]
Abstract is missing.