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.

Verification of software barriers

Alexander Malkis, Anindya Banerjee. Verification of software barriers. In J. Ramanujam, P. Sadayappan, editors, Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, New Orleans, LA, USA, February 25-29, 2012. pages 313-314, ACM, 2012. [doi]

Authors

Alexander Malkis

This author has not been identified. Look up 'Alexander Malkis' in Google

Anindya Banerjee

This author has not been identified. Look up 'Anindya Banerjee' in Google
runs on