Search results for: Alberto L. Sangiovanni-Vincentelli
Proceedings of the IEEE > 2015 > 103 > 11 > 2104 - 2132
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2015 > 34 > 11 > 1730 - 1741
IEEE Systems Journal > 2015 > 9 > 3 > 714 - 727