Documents publiés en "2020"
Nombre de documents: 1
Département de génie informatique et génie logiciel
Barkaoui, K., Boucheneb, H., & Li, Z. (2020). Exploiting local persistency for reduced state-space generation. Innovations in Systems and Software Engineering, 16(2), 181-197. Lien externe