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.

Introduction to special section on verification challenges in the concurrent world

Sandip Ray, Jayanta Bhadra, Magdy S. Abadir, Li-C. Wang, Aarti Gupta. Introduction to special section on verification challenges in the concurrent world. ACM Trans. Design Autom. Electr. Syst., 17(3):19, 2012. [doi]

Authors

Sandip Ray

This author has not been identified. Look up 'Sandip Ray' in Google

Jayanta Bhadra

This author has not been identified. Look up 'Jayanta Bhadra' in Google

Magdy S. Abadir

This author has not been identified. Look up 'Magdy S. Abadir' in Google

Li-C. Wang

This author has not been identified. Look up 'Li-C. Wang' in Google

Aarti Gupta

This author has not been identified. Look up 'Aarti Gupta' in Google
runs on