Search results
IEEE Transactions on Circuits and Systems for Video Technology > 2017 > 27 > 12 > 2702 - 2713
IEEE Transactions on Computers > 2017 > 66 > 12 > 1994 - 2004
IEEE Transactions on Computers > 2016 > 65 > 8 > 2534 - 2547
IEEE Transactions on Computers > 2016 > 65 > 7 > 2158 - 2168
Formal Methods in Computer Aided Design > 137 - 144