Search results for: Mitra Purandare
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 68-82
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The MOGENTES Project > 208-227
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Regular Papers > 129-145
DAC Design Automation Conference 2012 > 350 - 355
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2012 > 31 > 5 > 765 - 778
Design Automation Conference > 182 - 187