Device-to-device modeling and analysis with a modified Matern hardcore BS location model | IEEE Conference Publication | IEEE Xplore