Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,358,048 papers from all fields of science
Search
Sign In
Create Free Account
AAV-DC-CTL Tumor Cell Targeting Therapy
Known as:
ACTL Therapy
, Antigen-specific Cytotoxic T Lymphocytes Induced by Dendritic Cells Infected by Recombinant Adeno-associated Virus Therapy
A tumor-targeted therapy consisting of cytotoxic T lymphocytes (CTLs) that are exposed ex vivo to dendritic cells (DCs) transfected with a…
Expand
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2000
2000
Temporal Logic and Model Checking
K. McMillan
2000
Corpus ID: 59673014
ion ◮ Abstraction creates a simplification of a model ◮ separate states may get merged ◮ an abstract path can represent several…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE
or Only Accept Required