Shyamsundar Pullela

	1994
2		Paul S. Miner, Shyamsundar Pullela, Steven D. Johnson: Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit. SRDS 1994: 128-137
	1993
1		Bhaskar Bose, Steven D. Johnson, Shyamsundar Pullela: Integrating Boolean Verification with Formal Derivation. CHDL 1993: 139-146

Coauthor Index

1	Bhaskar Bose	[1]
2	Steven D. Johnson	[1] [2]
3	Paul S. Miner	[2]