APA (7th ed.) Citation

Do, C. M., Phyo, Y., & Ogata, K. (2022). Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way. IEEE access, 10, 133749-133765. https://doi.org/10.1109/ACCESS.2022.3230844

Chicago Style (17th ed.) Citation

Do, Canh Minh, Yati Phyo, and Kazuhiro Ogata. "Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way." IEEE Access 10 (2022): 133749-133765. https://doi.org/10.1109/ACCESS.2022.3230844.

MLA (9th ed.) Citation

Do, Canh Minh, et al. "Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way." IEEE Access, vol. 10, 2022, pp. 133749-133765, https://doi.org/10.1109/ACCESS.2022.3230844.