Search results for: Sharad Malik
IEEE Transactions on Emerging Topics in Computing > 2014 > 2 > 1 > 63 - 80
2013 Formal Methods in Computer-Aided Design > 145 - 148
DAC Design Automation Conference 2012 > 1222 - 1228
Formal Methods in System Design > 2011 > 39 > 2 > 144-164
Journal of Network and Systems Management > 2008 > 16 > 3 > 235-258