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.

Termination of Nondeterministic Probabilistic Programs

Hongfei Fu, Krishnendu Chatterjee. Termination of Nondeterministic Probabilistic Programs. In Constantin Enea, Ruzica Piskac, editors, Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings. Volume 11388 of Lecture Notes in Computer Science, pages 468-490, Springer, 2019. [doi]

Authors

Hongfei Fu

This author has not been identified. Look up 'Hongfei Fu' in Google

Krishnendu Chatterjee

This author has not been identified. Look up 'Krishnendu Chatterjee' in Google
runs on