| Journal Paper | Journal Paper Information |
|---|---|
| Name | Dr. Sabina Akhtar |
| Co-Authors | Dr. Ehtesham Zahoor |
| Department | Computer Sciences |
| Title OF Paper | Formal Specification and Verification of MQTT Protocol in PlusCal-2 |
| Title Of Journal | Wireless Personal Communications |
| Paper Type | ISI Index With Impact Factor |
| Impact Factor | 1.061 (201 |
| Start Date | 2021-02-26 |
| Pages | |
| Issue No | |
| Volume No | |
| DOI | http://link.springer.com/article/10.1007/s11277-021-08296-4 |
| Paper Status | Published |