Site Tools



  • 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.
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
pub/kaju11.txt · Last modified: 2020-09-17 14:46 by I-Jeong Woo