Kamel Barkaoui, Hanifa Boucheneb, Zhiwu Li. Exploiting Local Persistency for Reduced State Space Generation. In Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez, editors, Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings. Volume 11181 of Lecture Notes in Computer Science, pages 166-181, Springer, 2018. [doi]
Abstract is missing.