Che-Chang Chan

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Stochastic Search

Intermediate Level

Consistency Checking

Temporal Constraints

Top Venues

Publications

Fang Yu, Shun-Ching Yang, Farn Wang, Guan-Cheng Chen, Che-Chang Chan
Symbolic consistency checking of OpenMp parallel programs. LCTES (2012)