BibTeX record conf/icdcit/BjornerJ15

download as .bib file

@inproceedings{DBLP:conf/icdcit/BjornerJ15,
  author       = {Nikolaj S. Bj{\o}rner and
                  Karthick Jayaraman},
  editor       = {Raja Natarajan and
                  Gautam Barua and
                  Manas Ranjan Patra},
  title        = {Checking Cloud Contracts in Microsoft Azure},
  booktitle    = {Distributed Computing and Internet Technology - 11th International
                  Conference, {ICDCIT} 2015, Bhubaneswar, India, February 5-8, 2015.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8956},
  pages        = {21--32},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-14977-6\_2},
  doi          = {10.1007/978-3-319-14977-6\_2},
  timestamp    = {Thu, 14 Apr 2022 20:26:15 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcit/BjornerJ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics