ML Anthology

Automated Verification: Graphs, Logic, and Automata

Moshe Y. Vardi
IJCAI 2003 pp. 1603-1606
/ijcai/2003/vardi2003ijcai-automated/
PDF IJCAI Semantic Scholar

Cite

Text

Vardi. "Automated Verification: Graphs, Logic, and Automata." International Joint Conference on Artificial Intelligence, 2003.

Markdown

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

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},
  url       = {https://mlanthology.org/ijcai/2003/vardi2003ijcai-automated/}
}