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.

Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters

Matthew Hague, Anthony Widjaja Lin. Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters. In P. Madhusudan, Sanjit A. Seshia, editors, Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Volume 7358 of Lecture Notes in Computer Science, pages 260-276, Springer, 2012. [doi]

Authors

Matthew Hague

This author has not been identified. Look up 'Matthew Hague' in Google

Anthony Widjaja Lin

This author has not been identified. Look up 'Anthony Widjaja Lin' in Google
runs on