Rates of CTL Killing in Persistent Viral Infection In Vivo.

Marjet Elemans Arnaud Florins Luc Willems Becca Asquith

Published in: PLoS Comput. Biol. (2014)

Keyphrases

hepatitis c virus
immune response
human immunodeficiency virus
temporal logic
model checking
neural network
computation tree logic
bounded model checking
image analysis
imaging modalities
epistemic logic
minimal change
post mortem
propagation model
sir model
database systems
database