BibTeX record conf/hipc/PalavalasaSSPC20

download as .bib file

@inproceedings{DBLP:conf/hipc/PalavalasaSSPC20,
  author       = {Surya Teja Palavalasa and
                  Yuvraj Singh and
                  Adhish Singla and
                  Suresh Purini and
                  Venkatesh Choppella},
  title        = {Model Checking as a Service using Dynamic Resource Scaling},
  booktitle    = {27th {IEEE} International Conference on High Performance Computing,
                  Data, and Analytics, HiPC 2020, Pune, India, December 16-19, 2020},
  pages        = {131--140},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/HiPC50609.2020.00027},
  doi          = {10.1109/HIPC50609.2020.00027},
  timestamp    = {Wed, 05 May 2021 09:45:30 +0200},
  biburl       = {https://dblp.org/rec/conf/hipc/PalavalasaSSPC20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.