Tej Narayan Thakur, Noriaki Yoshiura. Modeling and Verification of Contactless Mobile Banking System in E-Banking Using SPIN. In Osvaldo Gervasi, Beniamino Murgante, Sanjay Misra, Chiara Garau, Ivan Blecic, David Taniar, Bernady O. Apduhan, Ana Maria A. C. Rocha, Eufemia Tarantino, Carmelo Maria Torre, editors, Computational Science and Its Applications - ICCSA 2021 - 21st International Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part VI. Volume 12954 of Lecture Notes in Computer Science, pages 581-597, Springer, 2021. [doi]
Abstract is missing.