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.

Poling: SMT Aided Linearizability Proofs

He Zhu, Gustavo Petri, Suresh Jagannathan. Poling: SMT Aided Linearizability Proofs. In Daniel Kroening, Corina S. Pasareanu, editors, Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. Volume 9207 of Lecture Notes in Computer Science, pages 3-19, Springer, 2015. [doi]

Authors

He Zhu

This author has not been identified. Look up 'He Zhu' in Google

Gustavo Petri

This author has not been identified. Look up 'Gustavo Petri' in Google

Suresh Jagannathan

This author has not been identified. Look up 'Suresh Jagannathan' in Google
runs on