Amitabha Roy (Selection)

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Ask others: ACM DL/Guide -

4 Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification. CAV 2006: 503-516

3 Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification CoRR abs/cs/0605039: (2006)

Selection of 2 from 6 records - Amitabha Roy has 7 coauthors

4		Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification. CAV 2006: 503-516
3		Amitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification CoRR abs/cs/0605039: (2006)