Mathieu Desnoyers, P. E. McKenney and Michel Dagenais
Article (2013)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| PolyPublie URL: | https://publications.polymtl.ca/14024/ |
| Journal Title: | ACM SIGOPS Operating Systems Review (vol. 47, no. 2) |
| Publisher: | Association for Computing Machinery |
| DOI: | 10.1145/2506164.2506174 |
| Official URL: | https://doi.org/10.1145/2506164.2506174 |
| Date Deposited: | 18 Apr 2023 15:09 |
| Last Modified: | 08 Apr 2025 01:41 |
| Cite in APA 7: | 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. https://doi.org/10.1145/2506164.2506174 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
