Search results for: Roberto Passerone
Formal Methods in System Design > 2007 > 31 > 1 > 1-33
Journal of Signal Processing Systems > 2001 > 28 > 3 > 259-278
Formal Methods in System Design > 2007 > 31 > 1 > 1-33
Journal of Signal Processing Systems > 2001 > 28 > 3 > 259-278