External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Efficient Parallel CTL Model-Checking for Pushdown Systems

Xinyu Chen, Hansheng Wei, Xin Ye, Li Hao, Yanhong Huang, Jianqi Shi. Efficient Parallel CTL Model-Checking for Pushdown Systems. In Jinjun Chen, Laurence T. Yang, editors, IEEE International Conference on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications, ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018, Melbourne, Australia, December 11-13, 2018. pages 23-30, IEEE, 2018. [doi]

Authors

Xinyu Chen

This author has not been identified. Look up 'Xinyu Chen' in Google

Hansheng Wei

This author has not been identified. Look up 'Hansheng Wei' in Google

Xin Ye

This author has not been identified. Look up 'Xin Ye' in Google

Li Hao

This author has not been identified. Look up 'Li Hao' in Google

Yanhong Huang

This author has not been identified. Look up 'Yanhong Huang' in Google

Jianqi Shi

This author has not been identified. Look up 'Jianqi Shi' in Google
runs on