Verifying Pipeline Implementations in OpenMP
| Titel | Verifying Pipeline Implementations in OpenMP |
| Publication Type | Konferenzartikel (erschienen) |
| Year of Publication | 2021 |
| Authors | Wiesner, M, Jakobs, M-C |
| Conference Name | Proceedings of the 27th International Symposium on Model Checking Software (SPIN) |
| Pagination | 81-98 |
| Publisher | Springer |
| DOI | 10.1007/978-3-030-84629-9_5 |
Undefined