• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Introduction to special section on verification challenges in the concurrent world.

Sandip RayJayanta BhadraMagdy S. AbadirLi-C. WangAarti Gupta
Published in: ACM Trans. Design Autom. Electr. Syst. (2012)
Keyphrases