@article{914801,
      note = {Includes author index.},
      author = {Atig, Mohamed Faouzi, and Schwarzmann, Alexander A.,},
      url = {http://library.usi.edu/record/914801},
      title = {Networked systems : 7th International Conference, NETYS  2019, Marrakech, Morocco, June 19-21, 2019, Revised  selected papers /. NETYS (Conference)},
      abstract = {This book constitutes the revised selected papers of the  7th International Conference on Networked Systems, NETYS  2019, held in Marrakech, Morocco, in June 2019. The 23  revised full papers and 3 short papers presented were  carefully reviewed and selected from 60 submissions. The  papers are organized in the following topics: formal  verification, distributed systems, security, concurrency,  and networks.},
      doi = {https://doi.org/10.1007/978-3-030-31277-0,  https://doi.org/10.1007/978-3-030-31},
      recid = {914801},
      pages = {1 online resource (xix, 388 pages) :},
}