Search results for: A. Gupta
2009 Formal Methods in Computer-Aided Design > 205 - 212
2009 16th IEEE-NPSS Real Time Conference > 548 - 551
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2008 > 27 > 8 > 1513 - 1517
2009 Formal Methods in Computer-Aided Design > 205 - 212
2009 16th IEEE-NPSS Real Time Conference > 548 - 551
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2008 > 27 > 8 > 1513 - 1517