Song, Y., Fu, H., Yu, H., Shi, G., & Engineering, S. o. E. a. E. (2013). Stable backward reachability correction for PLL verification with consideration of environmental noise induced jitter.

Song, Yang, Haipeng Fu, Hao Yu, Guoyong Shi, و School of Electrical and Electronic Engineering. Stable Backward Reachability Correction for PLL Verification With Consideration of Environmental Noise Induced Jitter. 2013.

Song, Yang, et al. Stable Backward Reachability Correction for PLL Verification With Consideration of Environmental Noise Induced Jitter. 2013.