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 Task Parallel Programs for Data-Race

Radha Nakade, Eric Mercer, Peter Aldous, Jay McCarthy. Model-Checking Task Parallel Programs for Data-Race. In Aaron Dutle, César A. Muñoz, Anthony Narkawicz, editors, NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Volume 10811 of Lecture Notes in Computer Science, pages 367-382, Springer, 2018. [doi]

Authors

Radha Nakade

This author has not been identified. Look up 'Radha Nakade' in Google

Eric Mercer

This author has not been identified. Look up 'Eric Mercer' in Google

Peter Aldous

This author has not been identified. Look up 'Peter Aldous' in Google

Jay McCarthy

This author has not been identified. Look up 'Jay McCarthy' in Google
runs on