TY - JOUR AU - Enszer, J. A. AU - Stadtherr, M. A. TI - Verified solution method for population epidemiology models with uncertainty JO - International Journal of Applied Mathematics and Computer Science PY - 2009 SP - 501 EP - 512 VL - 19 IS - 3 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IJAMCS_2009_19_3_a9/ LA - en ID - IJAMCS_2009_19_3_a9 ER -