Richard H. Carver;Kuo-Chung Tai
-;-
Evolution of a course on model checking for practical applications
ACM SIGCSE Bulletin
Speeding up FPGA placement via partitioning and multithreading
International Journal of Reconfigurable Computing