@article{31eaa6fd2ce9437d8112c275ffdd0f5e,
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,
day = "1",
doi = "https://doi.org/10.1145/2209291.2209292",
language = "American English",
volume = "17",
journal = "ACM Transactions on Design Automation of Electronic Systems",
issn = "1084-4309",
publisher = "Association for Computing Machinery (ACM)",
number = "3",
}