Quality of service in IoT protocol as designs and its verification in PVS

MLA

Basit Shahzad, et al. “Quality of Service in IoT Protocol as Designs and Its Verification in PVS.” Transactions on Emerging Telecommunications Technologies, vol. 33, Oct. 2019. EBSCOhost, https://doi.org/10.1002/ett.3742.

APA

Basit Shahzad, Muhammad Saqib Nawaz, Meng Sun, Tariq Umer, Shaohua Wan, & M. Ikram Ullah Lali. (2019). Quality of service in IoT protocol as designs and its verification in PVS. Transactions on Emerging Telecommunications Technologies, 33. https://doi.org/10.1002/ett.3742

Chicago

Basit Shahzad, Muhammad Saqib Nawaz, Meng Sun, Tariq Umer, Shaohua Wan, and M. Ikram Ullah Lali. 2019. “Quality of Service in IoT Protocol as Designs and Its Verification in PVS.” Transactions on Emerging Telecommunications Technologies 33 (October). doi:10.1002/ett.3742.