@inproceedings{olveczky:hal-01760637,
  TITLE = {{Design and Validation of Cloud Storage Systems Using Formal Methods}},
  AUTHOR = {{\"O}lveczky, Peter Csaba},
  URL = {https://inria.hal.science/hal-01760637},
  NOTE = {Part 1: Invited Talk},
  BOOKTITLE = {{2nd International Conference on Topics in Theoretical Computer Science (TTCS)}},
  ADDRESS = {Tehran, Iran},
  EDITOR = {Mohammad Reza Mousavi and Ji{\v r}{\'i} Sgall},
  PUBLISHER = {{Springer International Publishing}},
  SERIES = {Topics in Theoretical Computer Science},
  VOLUME = {LNCS-10608},
  PAGES = {3-8},
  YEAR = {2017},
  MONTH = Sep,
  DOI = {10.1007/978-3-319-68953-1\_1},
  PDF = {https://inria.hal.science/hal-01760637/file/440117_1_En_1_Chapter.pdf},
  HAL_ID = {hal-01760637},
  HAL_VERSION = {v1},
}