Static analysis for concurrent programs with applications to data race detection Journal Article
Overview
publication date
- August 1, 2013
Date in CU Experts
- January 29, 2016 1:53 AM
Full Author List
- Kahlon V; Sankaranarayanan S; Gupta A
author count
- 3
published in
Other Profiles
International Standard Serial Number (ISSN)
- 1433-2779
Electronic International Standard Serial Number (EISSN)
- 1433-2787
Digital Object Identifier (DOI)
Additional Document Info
start page
- 321
end page
- 336
volume
- 15
issue
- 4