Igor Buzhinsky. Formalization of natural language requirements into temporal logics: a survey. In 17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki, Finland, July 22-25, 2019. pages 400-406, IEEE, 2019. [doi]
@inproceedings{Buzhinsky19, title = {Formalization of natural language requirements into temporal logics: a survey}, author = {Igor Buzhinsky}, year = {2019}, doi = {10.1109/INDIN41052.2019.8972130}, url = {https://doi.org/10.1109/INDIN41052.2019.8972130}, researchr = {https://researchr.org/publication/Buzhinsky19}, cites = {0}, citedby = {0}, pages = {400-406}, booktitle = {17th IEEE International Conference on Industrial Informatics, INDIN 2019, Helsinki, Finland, July 22-25, 2019}, publisher = {IEEE}, isbn = {978-1-7281-2927-3}, }