Narayana Mani

1993
2	EE	Tam Anh Chu, Narayana Mani, Clement K. C. Leung: An Efficient Critical Race-Free State Assignment Technique for Asynchronous Finite State Machines. DAC 1993: 2-6
1989
1		Ganesh Gopalakrishnan, Narayana Mani, Venkatesh Akella: Parallel Composition of Lockstep Synchronous Processes for Hardware Validation: Divide-and-Conquer Composition. Automatic Verification Methods for Finite State Systems 1989: 374-382

Coauthor Index

1	Venkatesh Akella	[1]
2	Tam Anh Chu	[2]
3	Ganesh Gopalakrishnan	[1]
4	Clement K. C. Leung	[2]

Colors in the list of coauthors