A PIM-aided kalman filter for gps tomography of the ionospheric electron content | Publicación