@article{851663,
      note = {International conference proceedings.},
      author = {Izumi, Taisuke, and Kuznetsov, Petr,},
      url = {http://library.usi.edu/record/851663},
      title = {Stabilization, safety, and security of distributed systems  : 20th International Symposium, SSS 2018, Tokyo, Japan,  November 4-7, 2018, Proceedings /. SSS (Symposium)},
      doi = {https://doi.org/10.1007/978-3-030-03232-6},
      recid = {851663},
      pages = {1 online resource (xiii, 410 pages) :},
}