A Las Vegas - NC algorithm for isomorphism of graphs with bounded multiplicity of eigenvalues | IEEE Conference Publication | IEEE Xplore