Aqsa Tehseen, Nazir Ahmad Zafar, Tariq Ali. Algorithm-based Dynamic Formal Model for Forest Fire Detection & Extinguishment System. In International Conference on Frontiers of Information Technology, FIT 2021, Islamabad, Pakistan, December 13-14, 2021. pages 170-175, IEEE, 2021. [doi]
@inproceedings{TehseenZA21, title = {Algorithm-based Dynamic Formal Model for Forest Fire Detection & Extinguishment System}, author = {Aqsa Tehseen and Nazir Ahmad Zafar and Tariq Ali}, year = {2021}, doi = {10.1109/FIT53504.2021.00040}, url = {https://doi.org/10.1109/FIT53504.2021.00040}, researchr = {https://researchr.org/publication/TehseenZA21}, cites = {0}, citedby = {0}, pages = {170-175}, booktitle = {International Conference on Frontiers of Information Technology, FIT 2021, Islamabad, Pakistan, December 13-14, 2021}, publisher = {IEEE}, isbn = {978-1-6654-0830-1}, }