@article{1434219,
      author = {Georgiou, Chryssis, and Majumdar, Rupak,},
      url = {http://library.usi.edu/record/1434219},
      title = {Networked systems : 8th International Conference, NETYS  2020, Marrakech, Morocco, June 3-5, 2020, proceedings /.  NETYS (Conference)},
      abstract = {This book constitutes the revised selected papers of the  8th International Conference on Networked Systems, NETYS  2020, held in Marrakech, Morocco, in June 2020.* The 18  revised full papers and 4 short papers presented together  with 3 invited papers were carefully reviewed and selected  from 46 submissions. The papers cover all aspects related  to the design and the development of these systems,  including, but not restricted to, concurrent and  distributed algorithms, parallel/concurrent/distributed  programming, multi-core architectures, formal verification,  distributed databases, cloud systems, networks, security,  formal verification, etc. *The conference was held  virtually due to the COVID-19 pandemic.},
      doi = {https://doi.org/10.1007/978-3-030-67087-0},
      recid = {1434219},
      pages = {1 online resource (xvii, 376 pages) :},
}