Saurav Gorai

	2006
1		Saurav Gorai, Saptarshi Biswas, Lovleen Bhatia, Praveen Tiwari, Raj S. Mitra: Directed-simulation assisted formal verification of serial protocol and bridge. DAC 2006: 731-736

Coauthor Index

1	Lovleen Bhatia	[1]
2	Saptarshi Biswas	[1]
3	Raj S. Mitra	[1]
4	Praveen Tiwari	[1]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page