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

Anurag P. Gupta

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1994
4EEAnurag P. Gupta, Daniel P. Siewiorek: Automated Multi-Cycle Symbolic Timing Verification of Microprocessor-Based Designs. DAC 1994: 113-119
1993
3EEAnurag P. Gupta, William P. Birmingham, Daniel P. Siewiorek: Automating the design of computer systems. IEEE Trans. on CAD of Integrated Circuits and Systems 12(4): 473-487 (1993)
1990
2EEPatrick Edmond, Anurag P. Gupta, Daniel P. Siewiorek, Audrey A. Brennan: ASSURE: Automated Design for Dependability. DAC 1990: 555-560
1989
1EEWilliam P. Birmingham, Anurag P. Gupta, Daniel P. Siewiorek: The MICON System for Computer Design. DAC 1989: 135-140

Coauthor Index

1William P. Birmingham [1] [3]
2Audrey A. Brennan [2]
3Patrick Edmond [2]
4Daniel P. Siewiorek [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)