APA (7th ed.) Citation

Nawaz, M. S., Ali, H., & Lali, M. I. U. (2016, December). Concurrent Algorithms in SPIN Model Checker. 2016 International Conference on Frontiers of Information Technology (FIT), 193-198. https://doi.org/10.1109/FIT.2016.043

Chicago Style (17th ed.) Citation

Nawaz, M. Saqib, Hussam Ali, and M. Ikram Ullah Lali. "Concurrent Algorithms in SPIN Model Checker." 2016 International Conference on Frontiers of Information Technology (FIT) Dec. 2016: 193-198. https://doi.org/10.1109/FIT.2016.043.

MLA (9th ed.) Citation

Nawaz, M. Saqib, et al. "Concurrent Algorithms in SPIN Model Checker." 2016 International Conference on Frontiers of Information Technology (FIT), Dec. 2016, pp. 193-198, https://doi.org/10.1109/FIT.2016.043.