skip to content
Dependable Software Lab.
Site Tools
Tools
Backlinks
Recent changes
Media Manager
Sitemap
Login
Recent changes
Media Manager
Sitemap
Command disabled: revisions
Sidebar
Introduction
Contact
News
Research
International
Domestic
Patents
Project
Member
Supervisor
Researcher
Alumni
Course
Seminar
siteadmin
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. 451–460, Springer, Heidelberg, 2011.
SCOPUS
link
publication
,
international
,
2011
,
SCOPUS
,
Munhye
,
Yongkee
Copyright © 2014 DSLab., Gyeongsang National University, Jinju, South Korea.
pub/kaju11.txt
· Last modified: 2020-09-17 14:46 by
I-Jeong Woo
Page Tools
Backlinks
Export to PDF
Back to top