Distribution of the Minimum Distance of Random Linear Codes | IEEE Conference Publication | IEEE Xplore