Search results for: R. Negulescu
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2006 > 25 > 9 > 1831 - 1846
Formal Methods in System Design > 1998 > 12 > 1 > 73-115
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2006 > 25 > 9 > 1831 - 1846
Formal Methods in System Design > 1998 > 12 > 1 > 73-115