Wyniki wyszukiwania dla: Fabio Somenzi
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2013 > 32 > 3 > 453 - 466
International Journal on Software Tools for Technology Transfer > 2013 > 15 > 5-6 > 433-454
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2010 > 29 > 8 > 1271 - 1284
Electronic Notes in Theoretical Computer Science > 2006 > 144 > 1 > 51-66
Formal Methods in System Design > 2006 > 28 > 1 > 5-36
Formal Methods in System Design > 2006 > 28 > 1 > 37-56
Electronic Notes in Theoretical Computer Science > 2005 > 119 > 2 > 51-65
International Journal on Software Tools for Technology Transfer > 2005 > 7 > 2 > 143-155
International Journal on Software Tools for Technology Transfer > 2004 > 6 > 2 > 102-116
Electronic Notes in Theoretical Computer Science > 2003 > 89 > 4 > 608-622
Electronic Notes in Theoretical Computer Science > 2001 > 23 > 2 > 46-56
International Journal on Software Tools for Technology Transfer > 2001 > 3 > 2 > 171-181