Search results for: Rhishikesh Limaye
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Software Verification > 328-342
Journal of Signal Processing Systems > 2016 > 85 > 1 > 23-43
DAC Design Automation Conference 2012 > 656 - 663
Formal Aspects of Computing > 2011 > 23 > 6 > 781-805