Search results for: S. Ramesh
Formal Aspects of Computing > 2014 > 26 > 3 > 591-621
IEEE Embedded Systems Letters > 2011 > 3 > 2 > 62 - 65
2008 45th ACM/IEEE Design Automation Conference > 296 - 299
Formal Aspects of Computing > 2014 > 26 > 3 > 591-621
IEEE Embedded Systems Letters > 2011 > 3 > 2 > 62 - 65
2008 45th ACM/IEEE Design Automation Conference > 296 - 299