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.) CitationNawaz, 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.) CitationNawaz, 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.
Warning: These citations may not always be 100% accurate.