APA (7th ed.) Citation

Xie, M., Yang, Q., Zhai, J., & Wang, Q. (2014). A vertex centric parallel algorithm for linear temporal logic model checking in Pregel. Journal of parallel and distributed computing, 74(11), 3161-3174. https://doi.org/10.1016/j.jpdc.2014.07.009

Chicago Style (17th ed.) Citation

Xie, Miao, Qiusong Yang, Jian Zhai, and Qing Wang. "A Vertex Centric Parallel Algorithm for Linear Temporal Logic Model Checking in Pregel." Journal of Parallel and Distributed Computing 74, no. 11 (2014): 3161-3174. https://doi.org/10.1016/j.jpdc.2014.07.009.

MLA (9th ed.) Citation

Xie, Miao, et al. "A Vertex Centric Parallel Algorithm for Linear Temporal Logic Model Checking in Pregel." Journal of Parallel and Distributed Computing, vol. 74, no. 11, 2014, pp. 3161-3174, https://doi.org/10.1016/j.jpdc.2014.07.009.