Search results for: S. Tahar
IET Circuits, Devices & Systems > 2011 > 5 > 3 > 243 - 255
IEEE Transactions on Computers > 2010 > 59 > 5 > 579 - 592
2009 Formal Methods in Computer-Aided Design > 93 - 100
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2008 > 27 > 9 > 1565 - 1570