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.

Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking

Helmut Seidl, Ralf Vogler. Proving Absence of Starvation by Means of Abstract Interpretation and Model Checking. In Deepak D'Souza, K. Narayan Kumar, editors, Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings. Volume 10482 of Lecture Notes in Computer Science, pages 3-22, Springer, 2017. [doi]

Authors

Helmut Seidl

This author has not been identified. Look up 'Helmut Seidl' in Google

Ralf Vogler

This author has not been identified. Look up 'Ralf Vogler' in Google
runs on