<  Back to the Polytechnique Montréal portal

Items where Author is "McKenney, P. E."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: D
Number of items: 1.

D

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. External link

List generated on: Thu Sep 10 13:17:25 2026 EDT