Chhabra et al. "Formalizing and Verifying Natural Language System Requirements Using Petri Nets and Context Based Reasoning." International Joint Conference on Artificial Intelligence, 2018.
Markdown
[Chhabra et al. "Formalizing and Verifying Natural Language System Requirements Using Petri Nets and Context Based Reasoning." International Joint Conference on Artificial Intelligence, 2018.](https://mlanthology.org/ijcai/2018/chhabra2018ijcai-formalizing/)
BibTeX
@inproceedings{chhabra2018ijcai-formalizing,
title = {{Formalizing and Verifying Natural Language System Requirements Using Petri Nets and Context Based Reasoning}},
author = {Chhabra, Aishwarya and Sangroya, Amit and Anantaram, C.},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2018},
pages = {64-71},
url = {https://mlanthology.org/ijcai/2018/chhabra2018ijcai-formalizing/}
}