Narayana Mani

	1993
2		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

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page