![]() | ![]() |
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 |
1 | Venkatesh Akella | [1] |
2 | Tam Anh Chu | [2] |
3 | Ganesh Gopalakrishnan | [1] |
4 | Clement K. C. Leung | [2] |