@article{798213,
      note = {International conference proceedings.},
      author = {Barkaoui, Kamel, and Boucheneb, Hanifa, and Mili, Ali, and  Tahar, Sofiène,},
      url = {http://library.usi.edu/record/798213},
      title = {Verification and evaluation of computer and communication  systems : 11th International Conference, VECoS 2017,  Montreal, QC, Canada, August 24-25, 2017, Proceedings /.  International Conference on Verification and Evaluatiuon of  Computer and Communication Systems},
      doi = {https://doi.org/10.1007/978-3-319-66176-6},
      recid = {798213},
      pages = {1 online resource (xvi, 205 pages) :},
}