APA引文

Aung, M. N., Phyo, Y., Do, C. M., & Ogata, K. (2021, February). A Divide and Conquer Approach to Eventual Model Checking. Mathematics.

Chicago Style (17th ed.) Citation

Aung, Moe Nandi, Yati Phyo, Canh Minh Do, and Kazuhiro Ogata. "A Divide and Conquer Approach to Eventual Model Checking." Mathematics Feb. 2021.

MLA引文

Aung, Moe Nandi, et al. "A Divide and Conquer Approach to Eventual Model Checking." Mathematics, Feb. 2021.