@inproceedings{neupane2024noms,
  title = {Formal Verification for Blockchain-based Insurance Claims Processing},
  author = {Neupane, Roshan Lal and Bonnah, Ernest and Bhusal, Bishnu and Neupane, Kiran and Hoque, Khaza Anuarul and Calyam, Prasad},
  booktitle = {NOMS 2024 - 2024 IEEE Network Operations and Management Symposium},
  pages = {1--5},
  year = {2024},
  month = may,
  publisher = {IEEE},
  doi = {10.1109/NOMS59830.2024.10575641},
  url = {https://doi.org/10.1109/NOMS59830.2024.10575641},
  eprint = {2402.13169},
  archiveprefix = {arXiv}
}