APA引文

Wang, T., Chen, T., Liu, Y., Wang, Y., & Engineering, S. o. C. S. a. (2020). Anti-chain based algorithms for timed/probabilistic refinement checking.

Chicago Style Citation

Wang, Ting, Tieming Chen, Yang Liu, Ye Wang, and School of Computer Science and Engineering. Anti-chain Based Algorithms for Timed/probabilistic Refinement Checking. 2020.

MLA引文

Wang, Ting, et al. Anti-chain Based Algorithms for Timed/probabilistic Refinement Checking. 2020.