@article{3b57ab7ed05e4d9f8f7e0a50332b12c0,
title = "Introduction to special section on verification challenges in the concurrent world",
author = "Sandip Ray and Jayanta Bhadra and Abadir, \{Magdy S.\} and Wang, \{Li C.\} and Aarti Gupta",
year = "2012",
month = jun,
doi = "10.1145/2209291.2209292",
language = "English (US)",
volume = "17",
journal = "ACM Transactions on Design Automation of Electronic Systems",
issn = "1084-4309",
publisher = "Association for Computing Machinery (ACM)",
number = "3",
}