Kaustav Guha

	2010
1		Aritra Hazra, Srobona Mitra, Pallab Dasgupta, Ajit Pal, Debabrata Bagchi, Kaustav Guha: Leveraging UPF-extracted assertions for modeling and formal verification of architectural power intent. DAC 2010: 773-776

Coauthor Index

1	Debabrata Bagchi	[1]
2	Pallab Dasgupta	[1]
3	Aritra Hazra	[1]
4	Srobona Mitra	[1]
5	Ajit Pal	[1]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page