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. 437–450, 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. 451–460, Springer, Heidelberg, 2011. |
* [[pub:SCOPUS]] | * [[pub:SCOPUS]] |