@article{850890,
      note = {Includes author index.},
      author = {Atig, Mohamed Faouzi, and Bensalem, Saddek, and Bliudze,  Simon, and Monsuez, Bruno,},
      url = {http://library.usi.edu/record/850890},
      title = {Verification and evaluation of computer and communication  systems : 12th International Conference, VECoS 2018,  Grenoble, France, September 26-28, 2018, Proceedings /.  VECoS (Conference)},
      doi = {https://doi.org/10.1007/978-3-030-00359-3},
      recid = {850890},
      pages = {1 online resource (xiv, 219 pages) :},
}