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.

Model Checking (k, d)-Markov Chain with ipLTL

Lianyi Zhang, Qingdi Meng, GuiMing Luo. Model Checking (k, d)-Markov Chain with ipLTL. In Robert Buchmann, Claudiu Vasile Kifor, Jian Yu, editors, Knowledge Science, Engineering and Management - 7th International Conference, KSEM 2014, Sibiu, Romania, October 16-18, 2014. Proceedings. Volume 8793 of Lecture Notes in Computer Science, pages 278-289, Springer, 2014. [doi]

Authors

Lianyi Zhang

This author has not been identified. Look up 'Lianyi Zhang' in Google

Qingdi Meng

This author has not been identified. Look up 'Qingdi Meng' in Google

GuiMing Luo

This author has not been identified. Look up 'GuiMing Luo' in Google
runs on