Wajima2009 BloodCoagulation warfarin heparin Model MML View MML External URL BIOMD0000000340 Model types Biomodels