Sriram Sankaranarayanan (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

37 Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan: Symbolic modular deadlock analysis. Autom. Softw. Eng. 18(3-4): 325-362 (2011)

30 Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan: Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. ASE 2009: 480-491

Selection of 2 from 55 records - Sriram Sankaranarayanan has 64 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

37		Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan: Symbolic modular deadlock analysis. Autom. Softw. Eng. 18(3-4): 325-362 (2011)
30		Jyotirmoy V. Deshmukh, E. Allen Emerson, Sriram Sankaranarayanan: Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients. ASE 2009: 480-491