Article,

Detecting harmful data races through parallel verification.

, , , , and .
J. Supercomput., 71 (8): 2922-2943 (2015)

Meta data

Tags

Users

  • @dblp

Comments and Reviews