Site Tools


pub:kaju11

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

pub:kaju11 [2014-09-02 12:44]
Hyun-Ji Kim created
pub:kaju11 [2020-09-17 14:46] (current)
I-Jeong Woo
Line 1: Line 1:
 /* 아래의 큰제목에 문헌코드를 넣을 것 */ /* 아래의 큰제목에 문헌코드를 넣을 것 */
 ====== KaJu11 ====== ====== KaJu11 ======
-  * [[person:​munhye|M. Kang]], and [[person:​yongkee|Y. Jun.]], "​Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism,"​ In Proceedings of the ASEA 2011, CCIS 257, pp. 437450, Springer, Heidelberg, 2011.+  * [[person:​munhye|M. Kang]], and [[person:​yongkee|Y. Jun.]], "​Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism,"​ In Proceedings of the ASEA 2011, CCIS 257, pp. 451460, Springer, Heidelberg, 2011.
  
   * [[pub:​SCOPUS]]   * [[pub:​SCOPUS]]
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
pub/kaju11.txt · Last modified: 2020-09-17 14:46 by I-Jeong Woo