BibTeX record conf/vstte/PadhyS21

• > Home > conf/vstte/PadhyS21

@inproceedings{DBLP:conf/vstte/PadhyS21,
  author       = {Smruti Padhy and
                  Joe Stubbs},
  editor       = {Roderick Bloem and
                  Rayna Dimitrova and
                  Chuchu Fan and
                  Natasha Sharygina},
  title        = {Designing and Proving Properties of the Abaco Autoscaler Using {TLA+}},
  booktitle    = {Software Verification - 13th International Conference, {VSTTE} 2021,
                  New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop,
                  {NSV} 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13124},
  pages        = {86--103},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-95561-8\_6},
  doi          = {10.1007/978-3-030-95561-8\_6},
  timestamp    = {Sun, 02 Oct 2022 16:17:05 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/PadhyS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}