KaJu11

M. Kang, and Y. Jun., "Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism," In Proceedings of the ASEA 2011, CCIS 257, pp. 451–460, Springer, Heidelberg, 2011.

SCOPUS

link