Publication
(All)

Results 1-1 of 1 (Search time: 0.032 seconds).

Issue DateTitleAuthor(s)TypescopusWOSFulltext/Archive link
12016Design Partitioning for Large Scale Equivalence Checking and Functional CorrectionJIE-HONG JIANG conference paper10