Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofične Tahar Verification and Evaluation of Computer and Communication Systems - Springer Springer 2017 ISBN: 9783319661766 Source: EBOOK