ML Anthology

Automatic Verification of Knowledge and Time with NuSMV

Alessio Lomuscio, Charles Pecheur, Franco Raimondi
IJCAI 2007 pp. 1384-1389
/ijcai/2007/lomuscio2007ijcai-automatic/
PDF IJCAI Semantic Scholar

Cite

Text

Lomuscio et al. "Automatic Verification of Knowledge and Time with NuSMV." International Joint Conference on Artificial Intelligence, 2007.

Markdown

[Lomuscio et al. "Automatic Verification of Knowledge and Time with NuSMV." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/lomuscio2007ijcai-automatic/)

BibTeX

@inproceedings{lomuscio2007ijcai-automatic,
  title     = {{Automatic Verification of Knowledge and Time with NuSMV}},
  author    = {Lomuscio, Alessio and Pecheur, Charles and Raimondi, Franco},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {1384-1389},
  url       = {https://mlanthology.org/ijcai/2007/lomuscio2007ijcai-automatic/}
}