@article{801429,
      note = {International conference proceedings.},
      author = {Spirakis, P. G. and Tsigas, Philippas,},
      url = {http://library.usi.edu/record/801429},
      title = {Stabilization, safety, and security of distributed systems  : 19th International Symposium, SSS 2017, Boston, MA, USA,  November 5-8, 2017, Proceedings /. SSS (Symposium)},
      doi = {https://doi.org/10.1007/978-3-319-69084-1},
      recid = {801429},
      pages = {1 online resource (xiii, 496 pages) :},
}