Search results for: L. Maillet-Contoz
Formal Methods in System Design > 2009 > 35 > 2 > 152-189
2006 Formal Methods in Computer Aided Design > 171 - 178
Formal Methods in System Design > 2009 > 35 > 2 > 152-189
2006 Formal Methods in Computer Aided Design > 171 - 178