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.

May-Happen-in-Parallel Analysis with Returned Futures

Elvira Albert, Samir Genaim, Pablo Gordillo. May-Happen-in-Parallel Analysis with Returned Futures. In Deepak D'Souza, K. Narayan Kumar, editors, Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings. Volume 10482 of Lecture Notes in Computer Science, pages 42-58, Springer, 2017. [doi]

Authors

Elvira Albert

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

Samir Genaim

This author has not been identified. It may be one of the following persons: Look up 'Samir Genaim' in Google

Pablo Gordillo

This author has not been identified. Look up 'Pablo Gordillo' in Google
runs on