BibTeX record conf/memocode/pandaPR21

• > Home > conf/memocode/pandaPR21

@inproceedings{DBLP:conf/memocode/pandaPR21,
  author       = {Abhinandan Panda and
                  Srinivas Pinisetty and
                  Partha S. Roop},
  editor       = {S. Arun{-}Kumar and
                  Dominique M{\'{e}}ry and
                  Indranil Saha and
                  Lijun Zhang},
  title        = {A secure insulin infusion system using verification monitors},
  booktitle    = {{MEMOCODE} '21: 19th {ACM-IEEE} International Conference on Formal
                  Methods and Models for System Design, Virtual Event, China, November
                  20 - 22, 2021},
  pages        = {56--65},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3487212.3487342},
  doi          = {10.1145/3487212.3487342},
  timestamp    = {Thu, 10 Feb 2022 09:35:39 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/pandaPR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}