Login / Signup
Introduction to special section on verification challenges in the concurrent world.
Sandip Ray
Jayanta Bhadra
Magdy S. Abadir
Li-C. Wang
Aarti Gupta
Published in:
ACM Trans. Design Autom. Electr. Syst. (2012)
Keyphrases
</>
special section
special issue
lessons learned
academic community
key issues
real world
open issues
award winning
mutual exclusion
application scenarios
technical challenges
climate change
programming language
clustering algorithm
concurrent systems
e learning
databases