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.

Automatic verification of interactions in asynchronous systems with unbounded buffers

Samik Basu, Tevfik Bultan. Automatic verification of interactions in asynchronous systems with unbounded buffers. In Ivica Crnkovic, Marsha Chechik, Paul Grünbacher, editors, ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014. pages 743-754, ACM, 2014. [doi]

Authors

Samik Basu

This author has not been identified. Look up 'Samik Basu' in Google

Tevfik Bultan

This author has not been identified. Look up 'Tevfik Bultan' in Google
runs on