M. Saqib Nawaz, Hussam Ali, M. Ikram Ullah Lali. Concurrent Algorithms in SPIN Model Checker. In International Conference on Frontiers of Information Technology, FIT 2016, Islamabad, Pakistan, December 19-21, 2016. pages 193-198, IEEE, 2016. [doi]
Abstract is missing.