Formaldehyde cross-linking of protein complexes combined with immunoprecipitation and mass spectrometry analysis is a promising technique for analysing protein-protein interactions, including those of transient nature. Here we used integrin β1 as a model to describe the application of formaldehyde cross-linking in detail, particularly focusing on the optimal parameters for cross-linking, the detection of formaldehyde cross-linked complexes, the utility of antibodies, and the identification of binding partners. Integrin β1 was found in a high molecular weight complex after formaldehyde cross-linking. Eight different anti-integrin β1 antibodies were used for pull-down experiments and no loss in precipitation efficiency after cross-linking was observed. However, two of the antibodies could not precipitate the complex, probably due to hidden epitopes. Formaldehyde cross-linked complexes, precipitated from Jurkat cells or human platelets and analyzed by mass spectrometry, were found to be composed of integrin β1, α4 and α6 or β1, α6, α2, and α5, respectively.