Modeling and Verification of Contactless Mobile Banking System in E-Banking Using SPIN.

Tej Narayan Thakur, Noriaki Yoshiura

Browse the full ICCSA paper archive.