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.

Context-Sensitive Dynamic Partial Order Reduction

Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gómez-Zamalloa, Peter J. Stuckey. Context-Sensitive Dynamic Partial Order Reduction. In Rupak Majumdar, Viktor Kuncak, editors, Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I. Volume 10426 of Lecture Notes in Computer Science, pages 526-543, Springer, 2017. [doi]

Authors

Elvira Albert

This author has not been identified. Look up 'Elvira Albert' in Google

Puri Arenas

This author has not been identified. Look up 'Puri Arenas' in Google

Maria Garcia de la Banda

This author has not been identified. Look up 'Maria Garcia de la Banda' in Google

Miguel Gómez-Zamalloa

This author has not been identified. Look up 'Miguel Gómez-Zamalloa' in Google

Peter J. Stuckey

This author has not been identified. Look up 'Peter J. Stuckey' in Google
runs on