Predicting molecular formulas of fragment ions with isotope patterns in tandem mass spectra | IEEE Journals & Magazine | IEEE Xplore