APA (7th ed.) Citation

Wang, T., Chen, T., Liu, Y., & Wang, Y. (2018). Anti-chain based algorithms for timed/probabilistic refinement checking. Science China. Information sciences, 61(5), 052105. https://doi.org/10.1007/s11432-017-9133-4

Chicago Style (17th ed.) Citation

Wang, Ting, Tieming Chen, Yang Liu, and Ye Wang. "Anti-chain Based Algorithms for Timed/probabilistic Refinement Checking." Science China. Information Sciences 61, no. 5 (2018): 052105. https://doi.org/10.1007/s11432-017-9133-4.

MLA (9th ed.) Citation

Wang, Ting, et al. "Anti-chain Based Algorithms for Timed/probabilistic Refinement Checking." Science China. Information Sciences, vol. 61, no. 5, 2018, p. 052105, https://doi.org/10.1007/s11432-017-9133-4.