Documents publiés en "2013"

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

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: Tue Oct 20 22:19:44 2026 EDT.