TY  - GEN
N2  - 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.
DO  - 10.1007/978-3-030-31277-0
DO  - 10.1007/978-3-030-31
DO  - doi
AB  - 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.
T1  - Networked systems :7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers /
AU  - Atig, Mohamed Faouzi,
AU  - Schwarzmann, Alexander A.,
VL  - 11704
CN  - TK5105.5
N1  - Includes author index.
ID  - 914801
KW  - Computer networks
KW  - Wireless communication systems
KW  - Mobile computing
KW  - Cloud computing
SN  - 9783030312770
SN  - 3030312771
TI  - Networked systems :7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-31277-0
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-31277-0
ER  -