ML Anthology

A Model Checker for Verifying ConGolog Programs

Leila Kalantari, Eugenia Ternovska
AAAI 2002 pp. 953-954
/aaai/2002/kalantari2002aaai-model/
PDF AAAI Semantic Scholar

Cite

Text

Kalantari and Ternovska. "A Model Checker for Verifying ConGolog Programs." AAAI Conference on Artificial Intelligence, 2002.

Markdown

[Kalantari and Ternovska. "A Model Checker for Verifying ConGolog Programs." AAAI Conference on Artificial Intelligence, 2002.](https://mlanthology.org/aaai/2002/kalantari2002aaai-model/)

BibTeX

@inproceedings{kalantari2002aaai-model,
  title     = {{A Model Checker for Verifying ConGolog Programs}},
  author    = {Kalantari, Leila and Ternovska, Eugenia},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2002},
  pages     = {953-954},
  url       = {https://mlanthology.org/aaai/2002/kalantari2002aaai-model/}
}