APA (7th ed.) Citation

Li, W., Yang, Z., & Liu, J. (2022). Automatic analysis of DIFC systems using noninterference with declassification. Neural computing & applications, 34(12), 9385-9396. https://doi.org/10.1007/s00521-021-06334-7

Chicago Style (17th ed.) Citation

Li, Wenfa, Zhi Yang, and Jia Liu. "Automatic Analysis of DIFC Systems Using Noninterference with Declassification." Neural Computing & Applications 34, no. 12 (2022): 9385-9396. https://doi.org/10.1007/s00521-021-06334-7.

MLA (9th ed.) Citation

Li, Wenfa, et al. "Automatic Analysis of DIFC Systems Using Noninterference with Declassification." Neural Computing & Applications, vol. 34, no. 12, 2022, pp. 9385-9396, https://doi.org/10.1007/s00521-021-06334-7.