BibTeX record conf/iccsa/ThakurY21

• > Home > conf/iccsa/ThakurY21

@inproceedings{DBLP:conf/iccsa/ThakurY21,
  author       = {Tej Narayan Thakur and
                  Noriaki Yoshiura},
  editor       = {Osvaldo Gervasi and
                  Beniamino Murgante and
                  Sanjay Misra and
                  Chiara Garau and
                  Ivan Blecic and
                  David Taniar and
                  Bernady O. Apduhan and
                  Ana Maria A. C. Rocha and
                  Eufemia Tarantino and
                  Carmelo Maria Torre},
  title        = {Modeling and Verification of Contactless Mobile Banking System in
                  E-Banking Using {SPIN}},
  booktitle    = {Computational Science and Its Applications - {ICCSA} 2021 - 21st International
                  Conference, Cagliari, Italy, September 13-16, 2021, Proceedings, Part
                  {VI}},
  series       = {Lecture Notes in Computer Science},
  volume       = {12954},
  pages        = {581--597},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-86979-3\_41},
  doi          = {10.1007/978-3-030-86979-3\_41},
  timestamp    = {Mon, 20 Sep 2021 09:50:58 +0200},
  biburl       = {https://dblp.org/rec/conf/iccsa/ThakurY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}