TY  - RPRT
TI  - Verifying Qthreads: Is Model Checking viable for User-Level Tasking runtimes?.
AU  - Evans, Noah
PY  - 2022
DO  - 10.1109/correctness.2018.00008
UR  - https://www.osti.gov/biblio/2005436
ID  - 2005436
ER  -