@article{ dblp1965163,
  title = {A vertex centric parallel algorithm for linear temporal logic model checking in Pregel},
  author = {Miao Xie and Qiusong Yang and Jian Zhai and Qing Wang},
  author_short = {Xie, M. and Yang, Q. and Zhai, J. and Wang, Q.},
  bibtype = {article},
  type = {article},
  year = {2014},
  key = {dblp1965163},
  id = {dblp1965163},
  biburl = {http://www.dblp.org/rec/bibtex/journals/jpdc/XieYZW14},
  url = {http://dx.doi.org/10.1016/j.jpdc.2014.07.009},
  journal = {J. Parallel Distrib. Comput. (JPDC)},
  pages = {3161-3174},
  number = {11},
  volume = {74},
  text = {J. Parallel Distrib. Comput. (JPDC) 74(11):3161-3174 (2014)}
}

{"_id":"kCiX9XtoENcWqDRQj","bibbaseid":"xie-yang-zhai-wang-avertexcentricparallelalgorithmforlineartemporallogicmodelcheckinginpregel-2014","downloads":0,"creationDate":"2015-10-27T10:09:38.741Z","title":"A vertex centric parallel algorithm for linear temporal logic model checking in Pregel","author_short":["Xie, M.","Yang, Q.","Zhai, J.","Wang, Q."],"year":2014,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/jpdc/XieYZW14","bibdata":{"title":"A vertex centric parallel algorithm for linear temporal logic model checking in Pregel","author":["Miao Xie","Qiusong Yang","Jian Zhai","Qing Wang"],"author_short":["Xie, M.","Yang, Q.","Zhai, J.","Wang, Q."],"bibtype":"article","type":"article","year":"2014","key":"dblp1965163","id":"dblp1965163","biburl":"http://www.dblp.org/rec/bibtex/journals/jpdc/XieYZW14","url":"http://dx.doi.org/10.1016/j.jpdc.2014.07.009","journal":"J. Parallel Distrib. Comput. (JPDC)","pages":"3161-3174","number":"11","volume":"74","text":"J. Parallel Distrib. Comput. (JPDC) 74(11):3161-3174 (2014)","bibtex":"@article{ dblp1965163,\n title = {A vertex centric parallel algorithm for linear temporal logic model checking in Pregel},\n author = {Miao Xie and Qiusong Yang and Jian Zhai and Qing Wang},\n author_short = {Xie, M. and Yang, Q. and Zhai, J. and Wang, Q.},\n bibtype = {article},\n type = {article},\n year = {2014},\n key = {dblp1965163},\n id = {dblp1965163},\n biburl = {http://www.dblp.org/rec/bibtex/journals/jpdc/XieYZW14},\n url = {http://dx.doi.org/10.1016/j.jpdc.2014.07.009},\n journal = {J. Parallel Distrib. Comput. (JPDC)},\n pages = {3161-3174},\n number = {11},\n volume = {74},\n text = {J. Parallel Distrib. Comput. (JPDC) 74(11):3161-3174 (2014)}\n}","bibbaseid":"xie-yang-zhai-wang-avertexcentricparallelalgorithmforlineartemporallogicmodelcheckinginpregel-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1016/j.jpdc.2014.07.009"},"downloads":0},"search_terms":["vertex","centric","parallel","algorithm","linear","temporal","logic","model","checking","pregel","xie","yang","zhai","wang"],"keywords":[],"authorIDs":["546910fabc7d6a460d001151"],"dataSources":["5LrfcBLpJkb3Gsyp3"]}