Documents publiés en "2018"

monter Monter d'un niveau
Pour citer ou exporter
Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement
Nombre de documents: 1

Département de génie informatique et génie logiciel

Barkaoui, K., Boucheneb, H., & Li, Z. (septembre 2018). Exploiting Local Persistency for Reduced State Space Generation [Communication écrite]. 12th International Conference on Verification and Evaluation of Computer and Communication Systems, Grenoble, France. Lien externe

Liste produite: Tue Oct 20 19:45:53 2026 EDT.