Defective thrombus formation in mice lacking coagulation factor XII | Synapse