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-Zitierstil (17. Ausg.)Xie, Miao, Qiusong Yang, Jian Zhai, und 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-Zitierstil (9. Ausg.)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.