Ionospheric hole made by the 2012 North Korean rocket observed with a dense GNSS array in Japan | AGU Journals & Magazine | IEEE Xplore