Estimating Costs and Benefits of CTL Escape Mutations in SIV/HIV Infection.

Vitaly V. Ganusov Rob J. De Boer

Published in: PLoS Comput. Biol. (2006)

Keyphrases

human immunodeficiency virus
cost savings
drug resistance
model checking
temporal logic
cost reduction
rigid body
cost benefit
total cost
bounded model checking
drug discovery
temporal properties
hiv protease
expected cost
production cost
minimal change
transition systems
knowledge base