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
Citace podle Chicago (17th ed.)Do, Canh Minh, Yati Phyo, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..