Symbolic Deadlock Analysis in Concurrent Libraries and their Clients Conference Proceeding

Overview

CU Boulder Authors

Sankaranarayanan, Sriram

publication date

November 16, 2009

has restriction

closed

Date in CU Experts

January 29, 2016 1:53 AM

Full Author List

Deshmukh J; Emerson EA; Sankaranarayanan S

author count

3

citation count

17

published in

Proceedings / IEEE International Conference, Automated Software Engineering ; sponsored by IEEE Computer Society, NASA Ames Research Center, in cooperation with AAAI, ACM SIGART and SIGSOFT. IEEE International Automated Software Enginee... Journal

presented at event

24th IEEE/ACM International Conference on Automated Software Engineering Conference

Other Profiles

International Standard Serial Number (ISSN)

1527-1366

Digital Object Identifier (DOI)

https://doi.org/10.1109/ase.2009.14

Additional Document Info

start page

480

end page

491