ML Anthology

Automated Verification: Graphs, Logic, and Automata

Moshe Y. Vardi
IJCAI 2003 pp. 1603-1606
doi:10.1097/00002030-199905280-00011 /ijcai/2003/vardi2003ijcai-automated/

Abstract

These results strongly support a direct causal relationship between HIV replication and CD4 lymphocyte count depletion. The rise in those with > 3 log suppression provides the best available indicator of the potential for natural CD4 regeneration in HIV-infected patients. However, since still greater CD4 count rises may be seen with more suppressive regimens, it may not be possible to study the intrinsic CD4 regenerative capacity until such regimens are available.

PDF Semantic Scholar

Cite

Text

Vardi. "Automated Verification: Graphs, Logic, and Automata." International Joint Conference on Artificial Intelligence, 2003. doi:10.1097/00002030-199905280-00011

Markdown

[Vardi. "Automated Verification: Graphs, Logic, and Automata." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/vardi2003ijcai-automated/) doi:10.1097/00002030-199905280-00011

BibTeX

@inproceedings{vardi2003ijcai-automated,
  title     = {{Automated Verification: Graphs, Logic, and Automata}},
  author    = {Vardi, Moshe Y.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2003},
  pages     = {1603-1606},
  doi       = {10.1097/00002030-199905280-00011},
  url       = {https://mlanthology.org/ijcai/2003/vardi2003ijcai-automated/}
}