Nari Krishnamurthy Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier I - Trier II


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys1998
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLi-C. Wang, Magdy S. Abadir, Nari Krishnamurthy: Automatic Generation of Assertions for Formal Verification of PowerPC Microprocessor Arrays Using Symbolic Trajectory Evaluation. DAC 1998: 534-537
1993
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoydeep Ghosh, Nari Krishnamurthy: Fault-Tolerant Arbitration in Multichip Crossbar Switches. VLSI Design 1993: 351-356

Coauthor Index

1Magdy S. Abadir[c2]
2Joydeep Ghosh[c1]
3Li-C. Wang[c2]

 

Last update 2017-03-17 21:44 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page