TY  - GEN
DO  - 10.1007/978-3-030-00359-3
DO  - doi
T1  - Verification and evaluation of computer and communication systems :12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /
AU  - Atig, Mohamed Faouzi,
AU  - Bensalem, Saddek,
AU  - Bliudze, Simon,
AU  - Monsuez, Bruno,
VL  - 11181
CN  - TK5105.5
N1  - Includes author index.
ID  - 850890
KW  - Computer networks
KW  - Computer software
SN  - 9783030003593
SN  - 3030003590
TI  - Verification and evaluation of computer and communication systems :12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-00359-3
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-00359-3
ER  -