Search results for: R Kumar
Proceedings of the IEEE > 2012 > 100 > Special Centennial Issue > 1287 - 1308
Formal Methods in Computer Aided Design > 35 - 42
IEEE Transactions on Automatic Control > 2010 > 55 > 1 > 48 - 59
Proceedings of the IEEE > 2012 > 100 > Special Centennial Issue > 1287 - 1308
Formal Methods in Computer Aided Design > 35 - 42
IEEE Transactions on Automatic Control > 2010 > 55 > 1 > 48 - 59