<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Li, Zhiwu"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Nombre de documents: 1

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: Sun Dec 22 04:36:09 2024 EST.