Vishal Powar

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2008

1 Surender Baswana, Shashank K. Mehta, Vishal Powar: Implied Set Closure and Its Application to Memory Consistency Verification. CAV 2008: 94-106

	2008
1		Surender Baswana, Shashank K. Mehta, Vishal Powar: Implied Set Closure and Its Application to Memory Consistency Verification. CAV 2008: 94-106

Coauthor Index