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, and 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.