<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "McKenney, P. E."

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

Desnoyers, M., McKenney, P. E., & Dagenais, M. (2013). Multi-core systems modeling for formal verification of parallel algorithms. ACM SIGOPS Operating Systems Review, 47(2), 51-65. Lien externe

Liste produite: Fri Nov 22 04:58:08 2024 EST.