Broad CTL Response in Early HIV Infection Drives Multiple Concurrent CTL Escapes.

Sivan Leviyang Vitaly V. Ganusov

Published in: PLoS Comput. Biol. (2015)

Keyphrases

model checking
temporal logic
computation tree logic
temporal properties
human immunodeficiency virus
alternating time temporal logic
neural network
linear temporal logic
bounded model checking
database
fine grained
machine learning
information systems
bayesian networks
transition systems