Bhaskar Bose

	1996
5		Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella: A Tutorial on Digital Design Derivation Using DRS. FMCAD 1996: 270-274
	1993
4		Bhaskar Bose, Steven D. Johnson: DDD-FM9001: Derivation of a Verified Microprocessor. CHARME 1993: 191-202
3		Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela: Integrating Boolean Verification with Formal Derivation. CHDL 1993: 139-146
2		Kamlesh Rath, Bhaskar Bose, Steven D. Johnson: Derivation of a DRAM Memory Interface by Sequential Decomposition. ICCD 1993: 438-441
1		Bhaskar Bose, M. Esen Tuna, Steven D. Johnson: System Factorization in Codesign: A Case Study of the Use of Formal Techniques to Achieve Hardware-Software Decomposition. ICCD 1993: 458-461

Coauthor Index

1	Venkatesh Choppella	[5]
2	Steven D. Johnson	[1] [2] [3] [4]
3	Shyamsundar Pullela	[3]
4	Kamlesh Rath	[2]
5	M. Esen Tuna	[1] [5]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page