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.

Distributional Probabilistic Model Checking

Ingy Elsayed-Aly, David Parker 0001, Lu Feng 0001. Distributional Probabilistic Model Checking. In Nathaniel Benz, Divya Gopinath, Nija Shi, editors, NASA Formal Methods - 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings. Volume 14627 of Lecture Notes in Computer Science, pages 57-75, Springer, 2024. [doi]

Authors

Ingy Elsayed-Aly

This author has not been identified. Look up 'Ingy Elsayed-Aly' in Google

David Parker 0001

This author has not been identified. Look up 'David Parker 0001' in Google

Lu Feng 0001

This author has not been identified. Look up 'Lu Feng 0001' in Google
runs on