Search results for: Sergio Nocco
Formal Methods in System Design > 2011 > 39 > 2 > 205-227
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2010 > 29 > 12 > 2027 - 2040
Journal of Electronic Testing > 2010 > 26 > 2 > 261-278
International Journal on Software Tools for Technology Transfer > 2005 > 7 > 2 > 129-142
International Journal on Software Tools for Technology Transfer > 2005 > 7 > 2 > 102-117
Electronic Notes in Theoretical Computer Science > 2003 > 89 > 4 > 623-638