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
Citácia podle Chicago (17th ed.)Xie, Miao, Qiusong Yang, Jian Zhai, a 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.
Citácia podľa MLA (8th ed.)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.