Skip to content

Durgam Vahia

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

1

Venues

1

Active years

2004–2004

Best venue rank

A*

Where they publish

Papers

1 indexed papers, newest first.

YearVenueTitleAuthors
2004ISCATSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model.Sudheendra Hangal, Durgam Vahia, Chaiyasit Manovit, Juin-Yeu Joseph Lu, Sridhar Narayanan