dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Mandar Joshi Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys1999
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeremy Casas, Hannah Honghua Yang, Manpreet Khaira, Mandar Joshi, Thomas Tetzlaff, Steve W. Otto, Erik Seligman: Logic Verification of Very Large Circuits Using Shark. VLSI Design 1999: 310-317

Coauthor Index

1Jeremy Casas [1]
2Manpreet Khaira [1]
3Steve W. Otto [1]
4Erik Seligman [1]
5Thomas Tetzlaff [1]
6Hannah Honghua Yang (Honghua Yang) [1]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page