Jiang, Jie-Hong RolandJie-Hong RolandJiangBrayton, Robert K.Robert K.BraytonJIE-HONG JIANG2020-06-112020-06-112004https://scholars.lib.ntu.edu.tw/handle/123456789/497777Functional Dependency for Verification Reduction.conference paper10.1007/978-3-540-27813-9_21https://doi.org/10.1007/978-3-540-27813-9_21