William Hinsberg, Joy Cheng, et al.
SPIE Advanced Lithography 2010
Paper
Limits for automatic verification of finite-state concurrent systems
Related
Thomas M. Cheng
IT Professional
Conference paper
Optimization algorithms for energy-efficient data centers
Hendrik F. Hamann
InterPACK 2013
Khaled A.S. Abdel-Ghaffar
IEEE Trans. Inf. Theory