@proceedings{BLP8b,
title = { Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings },
year = {2018},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {11181},
team = {RSD},
}