Citace podle APA (7th ed.)

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

Citace 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.

Citace podle MLA (9th 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.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..