Registre de correu electrònic: A Markov chain Monte Carlo method for estimating the statistical significance of proteoform identifications by top-down mass spectrometry