Site Tools


pub:kaju11

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. 437–450, Springer, Heidelberg, 2011.
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
pub/kaju11.txt · Last modified: 2014-09-02 12:44 by Hyun-Ji Kim